Sciweavers

11121 search results - page 221 / 2225
» Computing with Continuous Change
Sort
View
JSYML
2010
107views more  JSYML 2010»
15 years 2 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
171
Voted
SIAMIS
2010
141views more  SIAMIS 2010»
14 years 10 months ago
Optimization by Stochastic Continuation
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
Marc C. Robini, Isabelle E. Magnin
ATAL
2006
Springer
15 years 7 months ago
Winning back the CUP for distributed POMDPs: planning over continuous belief spaces
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are evolving as a popular approach for modeling multiagent systems, and many different algorithms ha...
Pradeep Varakantham, Ranjit Nair, Milind Tambe, Ma...
CEC
2003
IEEE
15 years 9 months ago
Anytime coevolution of form and function
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
Magdalena D. Bugajska, Alan C. Schultz
AIPS
2000
15 years 5 months ago
Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling
The majority of planning and scheduling research has focused on batch-oriented models of planning. This paper discusses the use of iterative repair techniques to support a continu...
Steve A. Chien, Russell Knight, Andre Stechert, Ro...