785 search results - page 57 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
CSL
2002
Springer
13 years 8 months ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
COORDINATION
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
A shape feature by itself is not sufficient for effective 3D model retrieval. Long-lasting semantics shared by a community as well as a short-lived intention of a user determines ...