4520 search results - page 87 / 904 » Algebraic Techniques for Timed Systems |
116
click to vote
TEAA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In emerging database applications that deal with large sets of multidimensional data, the performance of the query system significantly depends on the performance of its ...
141
click to vote
WSC
2004
15 years 3 months ago
2004
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
150
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
110
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents a general solution to the determination of the pose of a perspective camera with unknown focal length from images of four 3D reference points. Our problem is a...
108
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Very deep submicron and nanometer technologies have increased notably integrated circuit (IC) sensitiveness to radiation. Soft errors are currently appearing into ICs working at e...