Sciweavers

40 search results - page 8 / 8
» The Interval Constrained 3-Coloring Problem
Sort
View
IJCAI
2003
13 years 6 months ago
Incremental Tractable Reasoning about Qualitative Temporal Constraints
In many applications of temporal reasoning we are in­ terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
Alfonso Gerevini
ICCAD
1999
IEEE
86views Hardware» more  ICCAD 1999»
13 years 9 months ago
Clock skew scheduling for improved reliability via quadratic programming
This paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadrat...
Ivan S. Kourtev, Eby G. Friedman
AIPS
2009
13 years 6 months ago
Flexible Execution of Plans with Choice
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
Patrick R. Conrad, Julie A. Shah, Brian C. William...
BMCBI
2007
132views more  BMCBI 2007»
13 years 5 months ago
On the analysis of glycomics mass spectrometry data via the regularized area under the ROC curve
Background: Novel molecular and statistical methods are in rising demand for disease diagnosis and prognosis with the help of recent advanced biotechnology. High-resolution mass s...
Jingjing Ye, Hao Liu, Crystal Kirmiz, Carlito B. L...
RAS
2007
138views more  RAS 2007»
13 years 4 months ago
Image-based robot navigation from an image memory
This paper addresses the problem of vision-based navigation and proposes an original control law to perform such navigation. The overall approach is based on an appearance-based r...
Anthony Remazeilles, François Chaumette