12993 search results - page 2447 / 2599 » Artificial Intelligence in China |
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
ACMACE
2009
ACM
14 years 2 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
ACMACE
2007
ACM
14 years 2 months ago
2007
ACM
Recently a new generation of virtual worlds has emerged in which users are provided with open-ended modelling tools with which they can create and modify world content. The result...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The standard method for combating spam, either in email or on the web, is to train a classifier on manually labeled instances. As the spammers change their tactics, the performanc...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
In this work, we show the importance of multidimensional opinion representation in the political context combining domain knowledge and results from principal component analysis. ...