Sciweavers

1245 search results - page 155 / 249
» Playing with Conway's problem
Sort
View
APWEB
2004
Springer
14 years 3 months ago
Generalized Inclusion Dependencies in XML
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
Millist W. Vincent, Michael Schrefl, Jixue Liu, Ch...
AUSAI
2004
Springer
14 years 3 months ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
ECAI
2004
Springer
14 years 3 months ago
Automatic Recognition of Famous Artists by Machine
The paper addresses the question whether it is possible for a machine to learn to distinguish and recognise famous musicians (concert pianists), based on their style of playing. We...
Gerhard Widmer, Patrick Zanon
ITS
2004
Springer
104views Multimedia» more  ITS 2004»
14 years 3 months ago
Student Question-Asking Patterns in an Intelligent Algebra Tutor
Cognitive Tutors are proven effective learning environments, but are still not as effective as one-on-one human tutoring. We describe an environment (ALPS) designed to engage stude...
Lisa Anthony, Albert T. Corbett, Angela Z. Wagner,...
ROBOCUP
2004
Springer
107views Robotics» more  ROBOCUP 2004»
14 years 3 months ago
Towards Illumination Invariance in the Legged League
Abstract. To date, RoboCup games have all been played under constant, bright lighting conditions. However, in order to meet the overall goal of RoboCup, robots will need to be able...
Mohan Sridharan, Peter Stone