4,032 results for 110 · 0.154s

Sponsored Partners
arxiv.org/abs/1106.5260v1

SAPA: A Multi-objective Metric Temporal Planner

SAPA is a domain-independent heuristic forward chaining planner that can handle durative actions, metric resource constraints, and deadline goals. It is designed to be capable of handling the multi-objective nature of metric temporal planning. Our te...

arxiv.org/abs/1108.1467v2

Ky Fan inequalities

There are several inequalities in the literature carrying the name of Ky Fan. We survey these well-known Ky Fan inequalities and some other significant inequalities generalized by Ky Fan and review some of their recent developments....

arxiv.org/abs/1106.2080v1

Surfaces immersed in Lie algebras associated with elliptic integrals

The main aim of this paper is to study soliton surfaces immersed in Lie algebras associated with ordinary differential equations (ODE's) for elliptic functions. That is, given a linear spectral problem for such an ODE in matrix Lax representation, we...

arxiv.org/abs/2205.11064v1

WOGAN at the SBST 2022 CPS Tool Competition

WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks. In this note, we present how WOGAN works and summarize its performance in the SBST 2022 CPS tool competition concerning the AI of a self-driving car....

arxiv.org/abs/1104.4262v1

On comparing Zagreb indices

Let $G=(V,E)$ be a simple graph with $n = |V|$ vertices and $m = |E|$ edges. The first and second Zagreb indices are among the oldest and the most famous topological indices, defined as $M_1 = \sum_{i \in V} d_i^2$ and $M_2 = \sum_{(i, j) \in E} d_i...

arxiv.org/abs/1106.5100v1

Tales of 34 iPhone Users: How they change and why they are different

We present results from a longitudinal study of 34 iPh-one 3GS users, called LiveLab. LiveLab collected unprecedented usage data through an in-device, programmable logger and several structured interviews with the participants throughout the study. W...

arxiv.org/abs/1106.6061v2

Algorithms for Unipolar and Generalized Split Graphs

A graph $G=(V,E)$ is a {\it unipolar graph} if there exits a partition $V=V_1 \cup V_2$ such that, $V_1$ is a clique and $V_2$ induces the disjoint union of cliques. The complement-closed class of {\it generalized split graphs} are those graphs $G$ s...

arxiv.org/abs/1107.3209v1

Large Formal Wikis: Issues and Solutions

We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general wiki system described in \cite{DBLP:conf/aisc/UrbanARG10}. A smart re-...

arxiv.org/abs/1107.4946v1

The architect Kha's protractor

Kha was an architect at Deir El-Medina, Egypt, supervisor of some projects completed during the reigns of three kings of the 18th Dynasty (approximately 1440-1350 BC). Buried with his wife Merit, the items of their tomb are exposed at the Egyptian Mu...