Sciweavers

4767 search results - page 356 / 954
» Moving between Contexts
Sort
View
ICANN
2009
Springer
15 years 10 months ago
Probability-Based Distance Function for Distance-Based Classifiers
In the paper a new measure of distance between events/observations in the pattern space is proposed and experimentally evaluated with the use of k-NN classifier in the context of b...
Cezary Dendek, Jacek Mandziuk
170
Voted
CAISE
2006
Springer
15 years 10 months ago
Regulation in Information Systems at the Level of Tunement
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
Michel Léonard, Abdelaziz Khadraoui, Jolita...
ECOOP
2006
Springer
15 years 10 months ago
Solving Aspectual Semantic Conflicts in Resource Aware Systems
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
Arturo Zambrano, Tomás Vera, Silvia E. Gord...
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 10 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave
197
Voted
LOPSTR
2000
Springer
15 years 10 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...