Sciweavers

4457 search results - page 344 / 892
» Tests of Machine Intelligence
Sort
View
ICALT
2009
IEEE
16 years 1 months ago
Collaboration Support in Argumentation Systems for Education via Flexible Architectures
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
Frank Loll, Niels Pinkwart
200
Voted
EDUTAINMENT
2009
Springer
16 years 1 months ago
Music-Making and Musical Comprehension with Robotic Building Blocks
Being able to express oneself musically and experiment with music composition is traditionally determined by one’s ability to play an actual instrument with a certain degree of c...
Niels Kristian Bærendsen, Carsten Jessen, Ja...
TPHOL
2007
IEEE
16 years 1 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
MLDM
2007
Springer
16 years 29 days ago
Discovering Plausible Explanations of Carcinogenecity in Chemical Compounds
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
Eva Armengol
WILF
2007
Springer
85views Fuzzy Logic» more  WILF 2007»
16 years 29 days ago
Some Experiments in Humour Recognition Using the Italian Wikiquote Collection
In this paper we present some results obtained in humour classification over a corpus of Italian quotations manually extracted and tagged from the Wikiquote project. The experimen...
Davide Buscaldi, Paolo Rosso