2586 search results - page 207 / 518 » Automatic Abstraction for Congruences |
174
click to vote
SIGKDD
2002
15 years 6 months ago
2002
In order to solve task 2 of the KDD Cup 2002, we exploited various available information sources. In particular, use of relational information describing the interactions among ge...
151
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
151
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
177
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a new approach to automatic attribute and granularity selection for building optimum regression trees. The method is based on the minimum descr...
173
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...