158 search results - page 1 / 32 » Effective Choice and Boundedness Principles in Computable An... |
CCA
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
APN
2010
Springer
13 years 4 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...
CHI
2007
ACM
14 years 5 months ago
2007
ACM
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...
CVPR
2009
IEEE
14 years 11 months ago
2009
IEEE
Most modern computer vision systems for high-level
tasks, such as image classification, object recognition and
segmentation, are based on learning algorithms that are
able to se...
IR
2002
13 years 4 months ago
2002
Collaborative filtering systems predict a user's interest in new items based on the recommendations of other people with similar interests. Instead of performing content index...