Sciweavers

2409 search results - page 400 / 482
» On Extended Regular Expressions
Sort
View
SEMWEB
2009
Springer
15 years 8 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
EMO
2001
Springer
150views Optimization» more  EMO 2001»
15 years 8 months ago
On the Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
Marco Laumanns, Eckart Zitzler, Lothar Thiele
ICRA
2000
IEEE
104views Robotics» more  ICRA 2000»
15 years 8 months ago
Social Potentials for Scalable Multi-Robot Formations
Potential function approaches to robot navigation provide an elegant paradigm for expressing multiple constraints and goals in mobile robot navigation problems 9]. As an example, ...
Tucker R. Balch, Maria Hybinette
RTCSA
2000
IEEE
15 years 8 months ago
Optimal scheduling of imprecise computation tasks in the presence of multiple faults
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
140
Voted
ICFP
2000
ACM
15 years 8 months ago
The duality of computation
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
Pierre-Louis Curien, Hugo Herbelin