2263 search results - page 141 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
161
click to vote
ICMLA
2007
15 years 7 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
166
click to vote
SP
2009
IEEE
16 years 18 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
159
click to vote
ICDT
1999
ACM
15 years 10 months ago
1999
ACM
Abstract. In this paper we present a new approach for studying aggregations in the context of database query languages. Starting from a broad de nition of aggregate function, we ad...
146
click to vote
DIS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...
184
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Hashing based Approximate Nearest Neighbor (ANN) search has attracted much attention due to its fast query time and drastically reduced storage. However, most of the hashing metho...