4666 search results - page 768 / 934 » Equations on Timed Languages |
133
Voted
AIME
2007
Springer
15 years 10 months ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
133
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
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...
132
Voted
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
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...
131
Voted
COCO
2007
Springer
15 years 10 months ago
2007
Springer
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...
137
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
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...