4067 search results - page 123 / 814 » Programs for Applying Symmetries |
ERSHOV
2006
Springer
13 years 12 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
FECS
2006
13 years 9 months ago
2006
This paper presents the results of a semester's experiments with producing instruction in "castable" format for iPODs and PDAs. The program involved is a non-tradit...
NIPS
2004
13 years 9 months ago
2004
We propose a convex optimization based strategy to deal with uncertainty in the observations of a classification problem. We assume that instead of a sample (xi, yi) a distributio...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
ENTCS
2006
13 years 8 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...