13383 search results - page 366 / 2677 » Abstractions from proofs |
170
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...
178
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
219
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
188
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Novelty detection in data stream mining denotes the identification of new or unknown situations in a stream of data elements flowing continuously in at rapid rate. This...
219
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...