Sciweavers

3653 search results - page 564 / 731
» On Recognizable Timed Languages
Sort
View
AIME
2007
Springer
16 years 9 days ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
ATAL
2007
Springer
16 years 8 days ago
Automatic annotation of team actions in observations of embodied agents
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
Linus J. Luotsinen, Hans Fernlund, Ladislau Bö...
AUSAI
2007
Springer
16 years 8 days ago
The Semantic Representation of Temporal Expressions in Text
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
Robert Dale, Pawel P. Mazur
COCO
2007
Springer
94views Algorithms» more  COCO 2007»
16 years 8 days ago
Bounded Queries and the NP Machine Hypothesis
The NP machine hypothesis posits the existence of an ǫ > 0 and a nondeterministic polynomial-time Turing machine M which accepts the language 0∗ but for which no determinist...
Richard Chang, Suresh Purini
CP
2007
Springer
16 years 8 days ago
Breaking Value Symmetry
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
Toby Walsh