Sciweavers

564 search results - page 85 / 113
» Corner cutting systems
Sort
View
ALT
1994
Springer
13 years 12 months ago
Explanation-Based Reuse of Prolog Programs
This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so...
Yasuyuki Koga, Eiju Hirowatari, Setsuo Arikawa
CIE
2006
Springer
13 years 11 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
CGF
2010
126views more  CGF 2010»
13 years 7 months ago
Contour-based Interface for Refining Volume Segmentation
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...
Takashi Ijiri, Hideo Yokota
PAMI
2006
135views more  PAMI 2006»
13 years 7 months ago
Real-Time Range Acquisition by Adaptive Structured Light
The goal of this paper is to provide a "self-adaptive" system for real-time range acquisition. Reconstructions are based on a single frame structured light illumination. ...
Thomas P. Koninckx, Luc J. Van Gool
TVCG
2008
125views more  TVCG 2008»
13 years 7 months ago
GrouseFlocks: Steerable Exploration of Graph Hierarchy Space
Several previous systems allow users to interactively explore a large input graph through cuts of a superimposed hierarchy. This hierarchy is often created using clustering algorit...
Daniel Archambault, Tamara Munzner, David Auber