4894 search results - page 784 / 979 » Dynamic Abstraction Planning |
162
click to vote
ECWEB
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. In the service-oriented computing paradigm and the Web service architecture, the broker role is a key facilitator to leverage technical capabilities of loose coupling to ...
161
click to vote
FMCAD
2009
Springer
16 years 19 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
143
click to vote
FSEN
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
199
click to vote
ISVC
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. This paper introduces a new approach for volumetric visual hull reconstruction, using a voxel grid that focuses on the moving target object. This grid is continuously upd...
153
click to vote
IVA
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...