2702 search results - page 37 / 541 » Practically Applicable Formal Methods |
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
We compare the practical performance of several recently proposed algorithms for active learning in the online classification setting. We consider two active learning algorithms (...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
SEKE
2010
Springer
14 years 7 months ago
2010
Springer
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...
TRUSTBUS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...