324 search results - page 20 / 65 » Reducing Expression Size Using Rule-Based Integration |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
GCB
2010
Springer
13 years 5 months ago
2010
Springer
: Despite recent advances in DNA chip technology current microarray gene expression studies are still affected by high noise levels, small sample sizes and large numbers of uninfor...
AIR
2000
13 years 7 months ago
2000
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because p...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, we propose a generalized DCT-domain spatial downscaling scheme to improve the visual quality. We analyze the filtering performances and computational complexities o...