Sciweavers

466 search results - page 80 / 94
» How to study artificial creativity
Sort
View
ICAIL
2003
ACM
15 years 11 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
15 years 10 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»
15 years 10 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
15 years 8 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
15 years 8 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