2766 search results - page 402 / 554 » Hybridizing a Logical Framework |
151
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
142
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
This paper studies Data Stream Management Systems that combine real-time data streams with historical data, and hence access incoming streams and archived data simultaneously. A s...
128
click to vote
CAIP
2003
Springer
15 years 9 months ago
2003
Springer
A general framework for automatic segmentation of diatom images is presented. This segmentation is a critical first step in contour-based methods for automatic identification of ...
136
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
We present an interactive, hybrid human-computer method for object classification. The method applies to classes of objects that are recognizable by people with appropriate expert...
142
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...