3053 search results - page 290 / 611 » Structured Objects: Modeling and Reasoning |
114
click to vote
DAGSTUHL
2010
15 years 5 months ago
2010
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
132
click to vote
APSEC
2010
IEEE
14 years 11 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
144
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
143
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
250
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
Detecting people remains a popular and challenging problem in computer vision. In this paper, we analyze parts-based models for person detection to determine which components of t...