260 search results - page 20 / 52 » Range and Set Abstraction using SAT |
150
click to vote
NPAR
2006
ACM
15 years 10 months ago
2006
ACM
: Some example effects achieved by our extended toon shader: continuous levels of abstraction (a); abstraction of near-silhouette regions: smoothing (b), and opacity (c); backlight...
145
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
Abstract. A major obstacle in data mining applications is the gap between the statistic-based pattern extraction and the value-based decision making. We present a profit mining app...
112
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The literature suggests that an ensemble of classifiers outperforms a single classifier across a range of classification problems. This paper investigates the applicat...
146
click to vote
IJWIN
2006
15 years 4 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
133
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...