4693 search results - page 531 / 939 » Verifying Hybrid Systems |
162
click to vote
ICARCV
2002
IEEE
15 years 12 months ago
2002
IEEE
Corner extraction is an important task in many computer vision systems. The quality of the corners and the efficiency of the detection method are two very important aspects that ...
180
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
176
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
We have created a system that identifies musical keywords or themes. The system searches for all patterns composed of melodic (intervallic for our purposes) repetition in a piece....
202
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
170
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...