Sciweavers

466 search results - page 80 / 94
» How to study artificial creativity
Sort
View
ICAIL
2003
ACM
14 years 3 months ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
FMCAD
2007
Springer
14 years 1 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
PKDD
2000
Springer
107views Data Mining» more  PKDD 2000»
14 years 1 months ago
Expert Constrained Clustering: A Symbolic Approach
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
Fabrice Rossi, Frédérick Vautrain
ATAL
2008
Springer
13 years 11 months ago
Individual differences in expressive response: a challenge for ECA design
To create realistic and expressive virtual humans, we need to develop better models of the processes and dynamics of human emotions and expressions. A first step in this effort is...
Ning Wang, Stacy Marsella, Tim Hawkins
BCSHCI
2007
13 years 11 months ago
Docile avatars: aesthetics, experience, and sexual interaction in Second Life
Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics ...
Shaowen Bardzell, Jeffrey Bardzell