1297 search results - page 95 / 260 » Dynamic Object Process Graphs |
105
click to vote
ECBS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
115
click to vote
PAKDD
2010
ACM
14 years 11 months ago
2010
ACM
With the rapid development of information technology, many applications have to deal with potentially infinite data streams. In such a dynamic context, storing the whole data stre...
101
click to vote
ENTCS
2007
15 years 23 days ago
2007
Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...
111
Voted
ICAT
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a new real-time method that can animate a moving elastic object that could collide with other objects in a virtual environment. For simulating physical motions of elast...
100
Voted
SSD
2007
Springer
15 years 7 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...