Sciweavers

2335 search results - page 283 / 467
» Type Checking Type Classes
Sort
View
117
Voted
EVOW
2010
Springer
15 years 9 months ago
Content-Based Image Retrieval of Skin Lesions by Evolutionary Feature Synthesis
This paper gives an example of evolved features that improve image retrieval performance. A content-based image retrieval system for skin lesion images is presented. The aim is to ...
Lucia Ballerini, Xiang Li, Robert B. Fisher, Ben A...
103
Voted
PPPJ
2009
ACM
15 years 9 months ago
Three approaches to object evolution
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
Tal Cohen, Joseph Gil
121
Voted
QEST
2009
IEEE
15 years 9 months ago
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
Juan F. Pérez, Benny Van Houdt
111
Voted
WOLLIC
2009
Springer
15 years 9 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
111
Voted
ESWS
2009
Springer
15 years 9 months ago
Ontology-Based Service Discovery Front-End Interface for GloServ
This paper describes an ontology-based service discovery front-end interface for GloServ. GloServ is a service discovery engine, which is an ontologybased distributed service disco...
Knarig Arabshian, Christian Dickmann, Henning Schu...