77016 search results - page 584 / 15404 » Modelling |
136
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—Accurate models of the feel of physical objects are essential to improving the realism of haptic simulations. This paper presents a method for automatically obtaining experiment...
172
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
227
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
180
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
168
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Increasingly, learning environments are opening the learner model to the user it represents. This paper describes a study in which students were able to create their own presentati...