2163 search results - page 117 / 433 » cases 2004 |
ANTS
2004
Springer
15 years 3 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
ESWS
2004
Springer
15 years 3 months ago
2004
Springer
Ontologies will play a central role in the development of the Semantic Web. It is unrealistic to assume that such ontologies will be developed from scratch. Rather, we assume that ...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...