108 search results - page 12 / 22 » Reasoning about Sensor Data for Automated System Identificat... |
115
click to vote
IJNVO
2007
14 years 11 months ago
2007
: Radio Frequency Identification (RFID) is currently considered a hot topic in the IT arena. It is described as a major enabling technology for automated contactless wireless data ...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
118
click to vote
CSL
2002
Springer
14 years 11 months ago
2002
Springer
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...
106
Voted
ISRR
2005
Springer
15 years 5 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
HUC
2004
Springer
15 years 5 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...