8719 search results - page 245 / 1744 » A Categorical Approach to Simulations |
110
click to vote
SIMPAR
2010
15 years 9 days ago
2010
This paper discusses the simulation of vehicle kinematics with SimVis3D and the Newton Game Dynamics Engine. As running example a Pioneer1 like robot is used. First its differenti...
102
click to vote
ACL
2009
14 years 11 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...
135
click to vote
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
121
click to vote
ASIAMS
2007
IEEE
15 years 8 months ago
2007
IEEE
The shortest capacitated path problem is a well known problem in the networking area, having a wide range of applications. In the shortest capacitated path problem, a traffic flow...
128
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, extensive studies of many interesting aspects of virtual community dynamics promoted a better understanding of this area. One of the most challenging problems fac...