2204 search results - page 219 / 441 » Agnostic active learning |
198
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
172
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper presents a distributed Support Vector Machine (SVM) algorithm in order to detect malicious software (malware) on a network of mobile devices. The light-weight system mo...
200
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
182
click to vote
LWA
2007
15 years 8 months ago
2007
The emergence of collaborative tagging systems with their underlying flat and uncontrolled resource organization paradigm has led to a large number of research activities focussi...
179
click to vote
IFIP12
2004
15 years 8 months ago
2004
: Conventional discussion environments provide the technical platform for distributed discussion and collaboration, but apart from some statistical data collected, rarely provide i...