519 search results - page 32 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
119
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
122
click to vote
JETC
2008
15 years 23 days ago
2008
With aggressive reductions in feature sizes and the integration of multiple functionalities on the same die, bottlenecks due to I/O pin limitations have become a severe issue in to...
109
click to vote
ICCBR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. When learning by observing an expert, cases can be automatically generated in an inexpensive manner. However, since this is a passive method of learning the observer has ...
114
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Many computer vision problems such as object segmentation or reconstruction can be formulated in terms of labeling a set of pixels or voxels. In certain scenarios, we may...
122
Voted
ICANN
2010
Springer
15 years 24 days ago
2010
Springer
In this contribution, we explore the possibilities of learning in large-scale, multimodal processing systems operating under real-world conditions. Using an instance of a large-sca...