2632 search results - page 434 / 527 » Alternating Timed Automata |
116
click to vote
INTERACTIONS
2010
14 years 11 months ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
184
click to vote
ISDA
2010
IEEE
14 years 11 months ago
2010
IEEE
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
149
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
Recent work in structure from motion (SfM) has successfully built 3D models from large unstructured collections of images downloaded from the Internet. Most approaches use increme...
144
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
106
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The problem of storing a set of strings – a string dictionary – in compact form appears naturally in many cases. While classically it has represented a small part of the whole ...