3256 search results - page 269 / 652 » Applications of Formal Methods to System Design and Verifica... |
175
click to vote
IJCAI
1997
15 years 8 months ago
1997
We introduce our research approach to investigating real world intelligence by building 'Remote-Brained Robots'. The key idea is that of interfacing AI systems with real...
156
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Abstract-- In this paper, we explore the efficacy of curbside acoustic sensing to estimate road traffic conditions. We formulated a set of hypotheses which attempted to correlate t...
153
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
Run-time reconfigurable FPGAs are powerful platforms for realising software-defined radio systems. This paper introduces a parametric approach to designing such systems based on ap...
178
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
180
click to vote
MEMOCODE
2007
IEEE
16 years 26 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...