Sciweavers

589 search results - page 65 / 118
» Introducing Dynamic Constraints in B
Sort
View
155
Voted
CEC
2010
IEEE
15 years 3 months ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger
141
Voted
ATAL
2005
Springer
15 years 9 months ago
Preprocessing techniques for accelerating the DCOP algorithm ADOPT
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...
Syed Muhammad Ali, Sven Koenig, Milind Tambe
157
Voted
ISCA
2011
IEEE
238views Hardware» more  ISCA 2011»
14 years 7 months ago
Rebound: scalable checkpointing for coherent shared memory
As we move to large manycores, the hardware-based global checkpointing schemes that have been proposed for small shared-memory machines do not scale. Scalability barriers include ...
Rishi Agarwal, Pranav Garg, Josep Torrellas
118
Voted
SIGGRAPH
1999
ACM
15 years 7 months ago
Physically Based Motion Transformation
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...
Zoran Popovic, Andrew P. Witkin
127
Voted
ACL
2004
15 years 4 months ago
Evaluating Centering-Based Metrics of Coherence
We use a reliably annotated corpus to compare metrics of coherence based on Centering Theory with respect to their potential usefulness for text structuring in natural language ge...
Nikiforos Karamanis, Massimo Poesio, Chris Mellish...