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 11 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 10 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 6 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
16 years 4 days 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
CORR
2007
Springer
193views Education» more  CORR 2007»
15 years 6 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 ...