Sciweavers

346 search results - page 40 / 70
» Automatic Tools for Testing Expert Systems
Sort
View
OOPSLA
2007
Springer
14 years 1 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
IJMSO
2007
104views more  IJMSO 2007»
13 years 7 months ago
Bringing taxonomic structure to large digital libraries
: Digital libraries are invaluable repositories of information. However, in many situations, their size makes it difficult to access the desired resource. In this paper, we present...
David Sánchez, Antonio Moreno
BCSHCI
2007
13 years 9 months ago
Use study on a home video editing system
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...
Hans Weda, Marco Campanella
DATE
2006
IEEE
115views Hardware» more  DATE 2006»
14 years 1 months ago
Management of complex automotive communication networks
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
Thomas Weber
IJCV
2002
108views more  IJCV 2002»
13 years 7 months ago
Epipolar Geometry for Central Catadioptric Cameras
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
Tomás Svoboda, Tomás Pajdla