Sciweavers

4192 search results - page 691 / 839
» Probabilistic Logic Programming
Sort
View
DFMA
2005
IEEE
152views Multimedia» more  DFMA 2005»
15 years 8 months ago
An Agent Based Meta-Model For Urban Mobility Modeling
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
Nicolas Marilleau
ICPPW
2005
IEEE
15 years 8 months ago
Factoring Solution Sets of Polynomial Systems in Parallel
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
Anton Leykin, Jan Verschelde
EUROPAR
2003
Springer
15 years 8 months ago
Partial Redundancy Elimination with Predication Techniques
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...
Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool
ICRA
2002
IEEE
92views Robotics» more  ICRA 2002»
15 years 8 months ago
Resolution Complete Rapidly-Exploring Random Trees
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
Peng Cheng, Steven M. LaValle
COCO
1994
Springer
100views Algorithms» more  COCO 1994»
15 years 7 months ago
Relative to a Random Oracle, NP is Not Small
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
Steven M. Kautz, Peter Bro Miltersen