Sciweavers

7075 search results - page 91 / 1415
» Models and heterogeneous reasoning
Sort
View
AIIA
2007
Springer
15 years 9 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...
107
Voted
PRIMA
2007
Springer
15 years 9 months ago
A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation
Yusuke Tanaka, Yuu Nakajima, Hiromitsu Hattori, To...