Sciweavers

2623 search results - page 226 / 525
» Conceptual Application Domain Modelling
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha
PDPTA
2003
15 years 8 months ago
A Universal Parallel SAT Checking Kernel
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
Wolfgang Blochinger, Carsten Sinz, Wolfgang Kü...
PPAM
2007
Springer
16 years 19 days ago
A Container-Iterator Parallel Programming Model
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...
Gerhard W. Zumbusch
ATAL
2004
Springer
15 years 12 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
ICIP
2006
IEEE
16 years 8 months ago
A Profile Hidden Markov Model Framework for Modeling and Analysis of Shape
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas