4693 search results - page 352 / 939 » Verifying Hybrid Systems |
187
click to vote
IVC
2000
15 years 6 months ago
2000
This paper discusses our expert system called Integrated System for Facial Expression Recognition (ISFER), which performs recognition and emotional classification of human facial ...
188
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
182
click to vote
HASE
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
172
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We propose a hybridization of collaborative filtering and content based recommendation system. Attributes used for content based recommendations are assigned weights depending on ...
203
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...