Sciweavers

14649 search results - page 2766 / 2930
» Principles of problem solving
Sort
View
174
Voted
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 6 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
180
Voted
CONSTRAINTS
2007
100views more  CONSTRAINTS 2007»
15 years 6 months ago
Design of Financial CDO Squared Transactions Using Constraint Programming
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof...
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
15 years 6 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo
JAIR
2008
103views more  JAIR 2008»
15 years 6 months ago
SATzilla: Portfolio-based Algorithm Selection for SAT
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton...
181
Voted
IJRR
2006
126views more  IJRR 2006»
15 years 6 months ago
Market-based Multirobot Coordination for Complex Tasks
Current technological developments and application-driven demands are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missio...
Robert Zlot, Anthony Stentz
« Prev « First page 2766 / 2930 Last » Next »