1849 search results - page 279 / 370 » Intelligent Expressions of Emotions |
174
click to vote
LFCS
2009
Springer
16 years 21 days ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
162
click to vote
CEC
2008
IEEE
16 years 19 days ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
154
click to vote
ICTAI
2008
IEEE
16 years 17 days ago
2008
IEEE
– With the World Wide Web popularity the information retrieval area has a new challenge intending to retrieve information resources by their meaning by using a knowledge base. No...
219
click to vote
ICTAI
2008
IEEE
16 years 17 days ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
190
click to vote
WETICE
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...