Sciweavers

488 search results - page 48 / 98
» The descriptive complexity approach to LOGCFL
Sort
View
IEEEARES
2008
IEEE
15 years 4 months ago
Reliability Analysis using Graphical Duration Models
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
Roland Donat, Laurent Bouillaut, Patrice Aknin, Ph...
PDP
2003
IEEE
15 years 3 months ago
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
Thomas Fahringer, Nicola Mazzocca, Massimiliano Ra...
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
15 years 2 months ago
Real-Time Combinatorial Tracking of a Target Moving Unpredictably among Obstacles
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
Héctor H. González-Baños, Che...
ERCIMDL
1999
Springer
146views Education» more  ERCIMDL 1999»
15 years 2 months ago
Metadata for Photographs: From Digital Library to Multimedia Application
This paper describes the production of an educational multimedia CD-ROM about French rural houses and farms, and how to renovate them without losing their traditional features. Th...
Anne-Marie Vercoustre, François Paradis
AAAI
2008
15 years 7 days ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu