5599 search results - page 869 / 1120 » Abstract State Services |
137
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
198
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
188
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
156
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. When agents coordinate according to the principles of teamwork they can flexibly, robustly and reliably achieve complex goals in complex, dynamic and even hostile enviro...
191
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...