6020 search results - page 688 / 1204 » A New Approach to Model Counting |
184
click to vote
DEBS
2010
ACM
15 years 11 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
232
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes how a photogrammetry based 3D capture system can be used as an input device for animation. The 3D Dynamic Capture System is used to capture the motion of a hu...
219
click to vote
AVI
2008
15 years 9 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
181
click to vote
WSC
2008
15 years 9 months ago
2008
Necessity to mind a huge amount of factors while developing modern enterprises models dictates new requirements for modeling software, which needs to process all data to achieve p...
216
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...