16725 search results - page 3209 / 3345 » Engineering Software Correctness |
128
Voted
EDBT
2011
ACM
14 years 6 months ago
2011
ACM
We demonstrate Habitat, a declarative observational debugger for SQL. Habitat facilitates true language-level (not: plan-level) debugging of, probably flawed, SQL queries that yi...
131
Voted
ESWA
2011
14 years 6 months ago
2011
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
106
Voted
INFFUS
2011
14 years 6 months ago
2011
We provide a sensor fusion framework for solving the problem of joint ego-motion and road geometry estimation. More specifically we employ a sensor fusion framework to make syste...
135
Voted
SIAMAM
2011
14 years 5 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
128
Voted
SIAMAM
2011
14 years 5 months ago
2011
We develop a general theory of the swelling kinetics of polymer gels, with the view that a polymer gel is a two-phase fluid. The model we propose is a free boundary problem and ca...