13383 search results - page 375 / 2677 » Abstractions from proofs |
158
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In previous work [4] a framework was demonstrated that allows an autonomous robot to automatically synthesize physically-realistic models of its own body. Here it is demo...
210
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
179
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
148
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper reports on an evaluation carried out on behalf of the Scottish Library and Information Council (SLIC) of a Scottish Executive initiative to fund a year's ...
191
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...