3575 search results - page 427 / 715 » Modeling Concurrency with Geometry |
225
click to vote
AB
2007
Springer
16 years 25 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
191
click to vote
VR
2008
IEEE
15 years 6 months ago
2008
IEEE
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
190
click to vote
RITA
2002
15 years 6 months ago
2002
The use of detailed geometric models is a critical factor for achieving realism in most computer graphics applications. In the past few years, we have observed an increasing deman...
162
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
195
click to vote
CIS
2008
Springer
16 years 24 days ago
2008
Springer
We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspective (pinhol...