3552 search results - page 429 / 711 » Proof theory in the abstract |
172
click to vote
GW
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
167
click to vote
ILP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...
181
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
165
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
156
click to vote
MFCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes. Interesting connections of effective dim...