6800 search results - page 765 / 1360 » Testing with Functions as Specifications |
156
click to vote
ISCAS
2002
IEEE
16 years 10 hour ago
2002
IEEE
The project deals with the design and realization of a dedicated board DSP-based for the processing of audio signals for automotive applications (DIGIcar). The I/O interface of th...
192
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Building on the current understanding of neural architecture of the visual cortex, we present a graphical model for learning and classification of motion patterns in vid...
169
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
159
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
206
click to vote
MOBICOM
1999
ACM
15 years 11 months ago
1999
ACM
This study is a comparison of three routing protocols proposed for wireless mobile ad-hoc networks. The protocols are: Destination Sequenced Distance Vector (DSDV), Ad-hoc On dema...