736 search results - page 54 / 148 » Moving Specification Structures Between Logical Systems |
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
116
click to vote
DASFAA
2004
IEEE
15 years 1 months ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
100
click to vote
CIBCB
2009
IEEE
14 years 11 months ago
2009
IEEE
Machine Learning techniques are successfully applied to establish quantitative relations between chemical structure and biological activity (QSAR), i.e. classify compounds as activ...
IJRR
2002
14 years 9 months ago
2002
We present kinetic data structures for detecting collisions between a set of polygons that are moving continuously. Unlike classical collision detection methods that rely on bound...
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...