8381 search results - page 383 / 1677 » The security of machine learning |
180
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
189
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
189
click to vote
SAFECOMP
2007
Springer
16 years 27 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
163
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents the genesis of RoboX. This tour guide robot has been built from the scratch based on the experience of the Autonomous Systems Lab. The production of 11 of thos...
181
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
We compute a common feature selection or kernel selection configuration for multiple support vector machines (SVMs) trained on different yet inter-related datasets. The method is ...