Sciweavers

1486 search results - page 187 / 298
» Algorithms for two-box covering
Sort
View
ACSD
2009
IEEE
110views Hardware» more  ACSD 2009»
15 years 9 months ago
Variants of the Language Based Synthesis Problem for Petri Nets
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
Sebastian Mauser, Robert Lorenz
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
15 years 9 months ago
Real Time Simulation of Multizone Elastokinematic Models
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an eï¬...
Doug L. James, Dinesh K. Pai
LCPC
2009
Springer
15 years 9 months ago
MIMD Interpretation on a GPU
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
Henry G. Dietz, B. Dalton Young
WADS
2009
Springer
274views Algorithms» more  WADS 2009»
15 years 9 months ago
New Results on Visibility in Simple Polygons
We show that (A), 14 points on the boundary of a Jordan curve, and (B), 16 points in convex position encircled by a Jordan curve, cannot be shattered by interior visibility domains...
Alexander Gilbers, Rolf Klein
ILP
2001
Springer
15 years 9 months ago
Learning Functions from Imperfect Positive Data
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
Filip Zelezný