5230 search results - page 630 / 1046 » Engineering of Computer Vision Algorithms Using Evolutionary... |
134
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
135
click to vote
EUROSIM
1994
15 years 6 months ago
1994
: The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer ...
121
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
131
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...
149
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Acknowledging an interruption with a nod of the head is a natural and intuitive communication gesture which can be performed without significantly disturbing a primary interface ...