4962 search results - page 377 / 993 » Stochastic Model Checking |
150
Voted
ENTCS
2008
15 years 3 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
145
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
An iterative method for reconstructing a 3D polygonal mesh and color texture map from multiple views of an object is presented. In each iteration, the method first estimates a tex...
137
Voted
SAGA
2009
Springer
15 years 10 months ago
2009
Springer
In the economical caching problem, an online algorithm is given a sequence of prices for a certain commodity. The algorithm has to manage a buffer of fixed capacity over time. We...
138
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We present a probabilistic framework for visual correspondence, inertial measurements and Egomotion. First, we describe a simple method based on Gabor filters to produce corre...
149
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...