2488 search results - page 460 / 498 » An improvement in formal verification |
106
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
100
click to vote
COMCOM
2000
15 years 1 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
RAS
2008
15 years 23 days ago
2008
Motivated by potential efficiency and robustness gains, there is growing interest in the use of multiple robots for coverage. In coverage, robots visit every point in a target are...
105
click to vote
CP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
121
click to vote
EKAW
2010
Springer
14 years 12 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...