Sciweavers

1937 search results - page 186 / 388
» Starting B Specifications from Use Cases
Sort
View
GISCIENCE
2010
Springer
190views GIS» more  GISCIENCE 2010»
15 years 7 months ago
Semantic Referencing - Determining Context Weights for Similarity Measurement
Semantic similarity measurement is a key methodology in various domains ranging from cognitive science to geographic information retrieval on the Web. Meaningful notions of similar...
Krzysztof Janowicz, Benjamin Adams, Martin Raubal
JFP
2000
163views more  JFP 2000»
15 years 6 months ago
Automatic useless-code elimination for HOT functional programs
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
Ferruccio Damiani, Paola Giannini
EVOW
2010
Springer
16 years 1 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...
COMPSAC
2009
IEEE
16 years 1 months ago
A Contextual Guidance Approach to Software Security
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
Philipp Schügerl, David Walsh, Juergen Rillin...
SASO
2008
IEEE
16 years 1 months ago
Pervasive Self-Learning with Multi-modal Distributed Sensors
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
Nicola Bicocchi, Marco Mamei, Andrea Prati, Rita C...