Sciweavers

2100 search results - page 271 / 420
» Observation Can Be as Effective as Action in Problem Solving
Sort
View
CONSTRAINTS
2010
101views more  CONSTRAINTS 2010»
15 years 6 months ago
Evaluating the impact of AND/OR search on 0-1 integer linear programming
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
Radu Marinescu 0002, Rina Dechter
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 6 months ago
Cooperative Automated Worm Response and Detection Immune Algorithm
The role of T-cells within the immune system is to confirm and assess anomalous situations and then either respond to or tolerate the source of the effect. To illustrate how these ...
Jungwon Kim, William O. Wilson, Uwe Aickelin, Juli...
MTA
2002
136views more  MTA 2002»
15 years 6 months ago
Dealing with Uncertain Durations in Synchronized Multimedia Presentations
In this paper, we discuss the effect of the uncertainty in the duration of some multimedia objects on the quality of the presentation of multimedia scenarios. This uncertainty can ...
Nabil Layaïda, Loay Sabry-Ismaïl, C&eacu...
ICST
2010
IEEE
15 years 5 months ago
Satisfying Test Preconditions through Guided Object Selection
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Ori...
FSTTCS
2010
Springer
15 years 4 months ago
Global Model Checking of Ordered Multi-Pushdown Systems
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
Mohamed Faouzi Atig