8540 search results - page 1254 / 1708 » The Dynamic Servers Problem |
199
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
121
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
197
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
160
click to vote
AAAI
2010
15 years 8 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
179
click to vote
CIDR
2007
15 years 8 months ago
2007
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...