9873 search results - page 1695 / 1975 » Emergent Semantics Systems |
144
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
141
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
161
Voted
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...
120
Voted
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
173
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...