1716 search results - page 102 / 344 » Generating models for temporal representations |
120
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
149
click to vote
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
125
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
142
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Though implicit representations of surfaces have often been used for various computer graphics tasks like modeling and morphing of objects, it has rarely been used for registratio...
122
click to vote
AFRIGRAPH
2003
ACM
15 years 7 months ago
2003
ACM
We present work that specifically pertains to the rendering stage of stylised, non-photorealistic sketching. While a substantial body of work has been published on geometric optim...