7918 search results - page 955 / 1584 » Model Composition Directives |
199
click to vote
ROBOCUP
2005
Springer
16 years 28 days ago
2005
Springer
This paper describes SimRobot, a robot simulator which is able to simulate arbitrary user-defined robots in three-dimensional space. It includes a physical model which is based on...
182
click to vote
VLDB
2005
ACM
16 years 27 days ago
2005
ACM
Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes. In this paper, we propose a family of stack-based a...
211
click to vote
APN
2004
Springer
16 years 25 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
185
click to vote
GG
2004
Springer
16 years 25 days ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
191
click to vote
ICIAR
2004
Springer
16 years 24 days ago
2004
Springer
We propose a new fast facial-feature extraction technique for embedded face-recognition applications. A deformable feature model is adopted, of which the parameters are optimized t...