12981 search results - page 2412 / 2597 » Model Checking (Abstract) |
106
Voted
FOCM
2010
15 years 2 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
152
Voted
HCSE
2010
15 years 2 months ago
2010
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
155
Voted
HICSS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
147
Voted
ICCCI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
136
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Autonomous robot navigation in unstructured outdoor environments is a challenging and largely unsolved area of active research. The navigation task requires identifying...