Sciweavers

1433 search results - page 190 / 287
» An approach to detecting failures automatically
Sort
View
ISCI
2008
83views more  ISCI 2008»
14 years 12 months ago
Output schemas of XSLT stylesheets and their applications
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
Sven Groppe, Jinghua Groppe
IJCV
2002
108views more  IJCV 2002»
14 years 11 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
TROB
2008
93views more  TROB 2008»
14 years 11 months ago
Using Sensor Morphology for Multirobot Formations
In formation-maintenance (formation control) tasks, robots maintain their relative position with respect to their peers, according to a desired geometric shape. Previous work has e...
Gal A. Kaminka, Ruti Schechter-Glick, Vladimir Sad...
EUROSYS
2010
ACM
15 years 9 months ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
CASES
2005
ACM
15 years 1 months ago
Segment protection for embedded systems using run-time checks
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
Matthew Simpson, Bhuvan Middha, Rajeev Barua