2162 search results - page 156 / 433 » Automated Reasoning on Feature Models |
143
click to vote
CBMS
2008
IEEE
15 years 6 months ago
2008
IEEE
In the real world concepts are often not stable but change over time. A typical example of this in the biomedical context is antibiotic resistance, where pathogen sensitivity may ...
162
click to vote
RSS
2007
15 years 5 months ago
2007
— Matching laser range scans observed at different points in time is a crucial component of many robotics tasks, including mobile robot localization and mapping. While existing t...
184
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
115
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent p...
132
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...