Sciweavers

2775 search results - page 503 / 555
» Visualizing abstract events
Sort
View
SERP
2008
15 years 7 months ago
Practically Relevant Quality Criteria for Requirements Documents
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
Tobias Simon, Jonathan Streit, Markus Pizka
RSS
2007
158views Robotics» more  RSS 2007»
15 years 7 months ago
Vision-Aided Inertial Navigation for Precise Planetary Landing: Analysis and Experiments
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...
Anastasios I. Mourikis, Nikolas Trawny, Stergios I...
CADUI
2004
15 years 7 months ago
Building Rich User Interfaces for Digital Talking Books
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
Luís Carriço, Carlos Duarte, Rui Lop...
DAGSTUHL
2006
15 years 7 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...
ESANN
2006
15 years 7 months ago
FPGA implementation of an integrate-and-fire LEGION model for image segmentation
Abstract. Despite several previous studies, little progress has been made in building successful neural systems for image segmentation in digital hardware. Spiking neural networks ...
Bernard Girau, Cesar Torres-Huitzil