Sciweavers

13151 search results - page 2313 / 2631
» Position based dynamics
Sort
View
APN
2003
Springer
15 years 12 months ago
On Reachability in Autonomous Continuous Petri Net Systems
Fluidification is a common relaxation technique used to deal in a more friendly way with large discrete event dynamic systems. In Petri nets, fluidification leads to continuous ...
Jorge Júlvez, Laura Recalde, Manuel Silva
ATAL
2003
Springer
15 years 12 months ago
Scenario description for multi-agent simulation
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
Yohei Murakami, Toru Ishida, Tomoyuki Kawasoe, Rei...
CAEPIA
2003
Springer
15 years 12 months ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 12 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
CP
2003
Springer
15 years 12 months ago
Using Constraints for Exploring Catalogs
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
François Laburthe, Yves Caseau
« Prev « First page 2313 / 2631 Last » Next »