12289 search results - page 2090 / 2458 » System modeling with mixed object and data models |
196
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
166
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
215
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
We present robust and efficient algorithms for computing Voronoi diagrams of planar freeform curves. Boundaries of the Voronoi diagram consist of portions of the bisector curves b...
219
click to vote
PAMI
2007
15 years 6 months ago
2007
We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under t...
199
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...