3381 search results - page 344 / 677 » Extending Dependencies with Conditions |
161
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
156
click to vote
DAGM
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we present VOCUS: a robust computational attention system for goal-directed search. A standard bottom-up architecture is extended by a top-down component, enabling th...
173
click to vote
ECAL
2005
Springer
16 years 10 days ago
2005
Springer
The complexity, variation, and change of human languages makes evident the importance of representation and learning in the acquisition and evolution of language. For example, anal...
213
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
204
Voted
ICMLC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Many supervised and unsupervised learning algorithms depend on the choice of an appropriate distance metric. While metric learning for supervised learning tasks has a lon...