4693 search results - page 248 / 939 » Verifying Hybrid Systems |
192
click to vote
LREC
2010
15 years 8 months ago
2010
In this work we propose a hybrid unsupervised approach for semantic relation extraction from Italian and English texts. The system takes as input pairs of "distributionally s...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
163
click to vote
MIRRORBOT
2005
Springer
16 years 2 days ago
2005
Springer
Audition is one of our most important modalities and is widely used to communicate and sense the environment around us. We present an auditory robotic...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
135
click to vote
MVA
2007
15 years 8 months ago
2007
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...