2162 search results - page 324 / 433 » Automated Reasoning on Feature Models |
134
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
117
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
129
click to vote
LREC
2010
15 years 5 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
153
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
162
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents a novel feature based parameterization approach of human bodies from the unorganized cloud points and the parametric design method for generating new models ba...