1195 search results - page 200 / 239 » Modeling an Algebraic Stepper |
162
click to vote
ML
2006
ACM
15 years 5 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
165
click to vote
ICIP
1999
IEEE
16 years 7 months ago
1999
IEEE
Over the last years many statistical models have been proposed to restore tomographical images. However, their use in medical environment has been limited due to several factors. ...
141
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...
166
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
159
click to vote
DASFAA
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...