Sciweavers

1217 search results - page 36 / 244
» Real Representations
Sort
View
CP
2004
Springer
15 years 5 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
EVOW
2004
Springer
15 years 5 months ago
Solving a Real-World Glass Cutting Problem
We consider the problem of finding two-dimensional cutting patterns for glass sheets in order to produce rectangular elements requested by customers. The number of needed sheets, ...
Jakob Puchinger, Günther R. Raidl, Gabriele K...
DAGM
2001
Springer
15 years 4 months ago
Wavelet Subspace Method for Real-Time Face Tracking
In this article, we present a new method for visual face tracking that is carried out in a wavelet subspace. Initially, a wavelet representation for the face template is created, ...
Volker Krüger, Rogério Schmidt Feris
ATVA
2006
Springer
133views Hardware» more  ATVA 2006»
15 years 3 months ago
Branching-Time Property Preservation Between Real-Time Systems
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Co...
AFRIGRAPH
2001
ACM
15 years 3 months ago
Real time isosurface browsing
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Caleb Lyness, Edwin H. Blake