Sciweavers

717 search results - page 135 / 144
» Weak-Commitment Search for Solving Constraint Satisfaction P...
Sort
View
AMAI
2005
Springer
14 years 9 months ago
A SAT approach to query optimization in mediator systems
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
Steven David Prestwich, Stéphane Bressan
ATAL
2005
Springer
14 years 11 months ago
Agent-based matchmaking of mathematical web services
Service discovery and matchmaking in a distributed environment has been an active research issue since at least the mid 1990s. Previous work on matchmaking has typically presented...
Simone A. Ludwig, Omer F. Rana, William Naylor, Ju...
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
14 years 9 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
GECCO
2009
Springer
107views Optimization» more  GECCO 2009»
15 years 4 months ago
Swarming along the evolutionary branches sheds light on genome rearrangement scenarios
A genome rearrangement scenario describes a series of chromosome fusion, fission, and translocation operations that suffice to rewrite one genome into another. Exact algorithmic ...
Nikolay Vyahhi, Adrien Goëffon, Macha Nikolsk...
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 2 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...