1849 search results - page 200 / 370 » Intelligent Expressions of Emotions |
141
click to vote
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
175
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
151
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
172
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
198
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...