1898 search results - page 46 / 380 » About the art in this issue |
COMPSAC
1997
IEEE
14 years 3 days ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
ACL
2007
13 years 9 months ago
2007
Obtaining large volumes of inference knowledge, such as entailment rules, has become a major factor in achieving robust semantic processing. While there has been substantial resea...
ESANN
2007
13 years 9 months ago
2007
One-class support vector machines (1-SVMs) estimate the level set of the underlying density observed data. Aside the kernel selection issue, one difficulty concerns the choice of t...
ERCIM
2010
13 years 8 months ago
2010
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...
GROUP
2010
ACM
13 years 5 months ago
2010
ACM
Previous research has identified many characteristics of social networks that can support creative collaboration. To examine the possibilities and issues involved, we created a co...