Sciweavers

210 search results - page 29 / 42
» Considering Ill-Definedness of Problems from the Aspect of S...
Sort
View
BCB
2010
150views Bioinformatics» more  BCB 2010»
15 years 1 months ago
Enzymatic target identification with dynamic states
As a metabolic network reaches from a state to a steady state, a subset of its fluxes gradually change. The sequence of intermediate states, called the dynamic state, shows the pa...
Bin Song, Sanjay Ranka, Tamer Kahveci
DAGSTUHL
2001
15 years 7 months ago
Decision-Theoretic Control of Planetary Rovers
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
Shlomo Zilberstein, Richard Washington, Daniel S. ...
CP
2007
Springer
16 years 7 days ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner
PGLDB
2003
132views Database» more  PGLDB 2003»
15 years 7 months ago
E-Learning Environments: An Integrated View
The contemporary technological evolution requires higher levels of education and new skills from the work-force making people more conscious of the importance of being better educ...
Maria Helena Lima Baptista Braz, Sean W. M. Siquei...
ALGORITHMICA
2002
97views more  ALGORITHMICA 2002»
15 years 6 months ago
Testing and Spot-Checking of Data Streams
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
Joan Feigenbaum, Sampath Kannan, Martin Strauss, M...