933 search results - page 121 / 187 » A Fully Automatic hp-Adaptivity |
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
100
Voted
GRC
2005
IEEE
15 years 6 months ago
2005
IEEE
— Decision rules generated from reducts can fully describe a data set. We introduce a new method of evaluating rules by taking advantage of rough sets theory. We consider rules g...
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
145
click to vote
CIVR
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
101
click to vote
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...