Sciweavers

1980 search results - page 332 / 396
» Feature Flow Fields
Sort
View
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
15 years 6 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah
GIS
1992
ACM
15 years 6 months ago
Machine Induction of Geospatial Knowledge
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
Peter A. Whigham, Robert I. McKay, J. R. Davis
ITS
1992
Springer
152views Multimedia» more  ITS 1992»
15 years 6 months ago
People Power: A Human-Computer Collaborative Learning System
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
Pierre Dillenbourg, John A. Self
ACCV
2009
Springer
15 years 6 months ago
Semantic Classification in Aerial Imagery by Integrating Appearance and Height Information
Abstract. In this paper we present an efficient technique to obtain accurate semantic classification on the pixel level capable of integrating various modalities, such as color, ed...
Stefan Kluckner, Thomas Mauthner, Peter M. Roth, H...
AOSD
2007
ACM
15 years 6 months ago
Tribe: a simple virtual class calculus
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
Dave Clarke, Sophia Drossopoulou, James Noble, Tob...