Sciweavers

246 search results - page 44 / 50
» Compactly generated domain theory
Sort
View
AFRIGRAPH
2007
ACM
13 years 11 months ago
Generic computation of bulletin boards into geometric kernels
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
VIS
2009
IEEE
399views Visualization» more  VIS 2009»
14 years 9 months ago
Visual Human+Machine Learning
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
Raphael Fuchs, Jürgen Waser, Meister Eduard GrÃ...
ICML
1996
IEEE
14 years 8 months ago
Representing and Learning Quality-Improving Search Control Knowledge
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...
M. Alicia Pérez
CHI
2009
ACM
14 years 8 months ago
iBookmark: locative texts and place-based authoring
With the recent developments in ePaper technology, consumer eBook readers have display qualities and form factors that are approaching that of traditional books. These eBook reade...
Johannes Schöning, Tom Bartindale, Patrick Ol...
ICFEM
2009
Springer
14 years 2 months ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...