2766 search results - page 402 / 554 » Hybridizing a Logical Framework |
199
Voted
CC
2004
Springer
16 years 13 days 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) ...
188
Voted
VLDB
2004
ACM
16 years 11 days 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...
171
Voted
CAIP
2003
Springer
16 years 8 days 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 ...
183
Voted
ECCV
2010
Springer
16 years 7 days 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...
179
Voted
ICRA
2002
IEEE
15 years 12 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...