3229 search results - page 490 / 646 » The Theory of Timed Automata |
178
click to vote
AIME
2007
Springer
16 years 23 days 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...
176
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
153
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
205
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
Implicit feedback algorithms utilize interaction between searchers and search systems to learn more about users’ needs and interests than expressed in query statements alone. Th...
172
click to vote
CP
2007
Springer
16 years 23 days 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...