1816 search results - page 297 / 364 » Formal Concepts of Learning Systems Validation in Use |
100
click to vote
LREC
2010
15 years 1 months ago
2010
This paper presents the PolNet-Polish WordNet project which aims at building a linguistically oriented ontology for Polish compatible with other WordNet projects such as Princeton...
112
click to vote
MMS
2008
14 years 11 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
108
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
140
click to vote
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...