Sciweavers

3130 search results - page 207 / 626
» Design Correctness of Digital Systems
Sort
View
DL
1999
Springer
122views Digital Library» more  DL 1999»
15 years 8 months ago
Multimodal Surrogates for Video Browsing
Three types of video surrogates visual (keyframes), verbal (keywords/phrases), and visual and verbal were designed and studied in a qualitative investigation of user cognitive pro...
Wei Ding, Gary Marchionini, Dagobert Soergel
KES
1998
Springer
15 years 8 months ago
Insect vision based motion detection
The architectural and circuit design aspects of a mixed analog/digital very large scale integration (VLSI) motion detection chip based on models of the insect visual system are des...
X. T. Nguyen
ACMDIS
2010
ACM
15 years 4 months ago
Creating a rural community display with local engagement
We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...
Nick Taylor 0002, Keith Cheverst
APLAS
2005
ACM
15 years 9 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
140
Voted
CORR
2007
Springer
193views Education» more  CORR 2007»
15 years 4 months ago
Multi-Sensor Fusion Method using Dynamic Bayesian Network for Precise Vehicle Localization and Road Matching
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....
Cherif Smaili, Maan E. El Najjar, François ...