4693 search results - page 750 / 939 » Verifying Hybrid Systems |
153
click to vote
TCS
2008
15 years 5 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
165
click to vote
TCSV
2008
15 years 5 months ago
2008
Video fingerprints are feature vectors that uniquely characterize one video clip from another. The goal of video fingerprinting is to identify a given video query in a database (DB...
155
Voted
JCP
2007
15 years 5 months ago
2007
—In this paper, a neural network solution to extract independent components from nonlinearly mixed signals is proposed. Firstly, a structurally constrained mixing model is introd...
164
click to vote
RAS
2000
15 years 5 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...
155
click to vote
AAI
1998
15 years 5 months ago
1998
In the past few years, Multiagent Systems (MAS) has emerged as an active subfield of Artificial Intelligence (AI). Because of the inherent complexity of MAS, there is much inter...