Sciweavers

2611 search results - page 293 / 523
» A Logic for Concepts and Similarity
Sort
View
FC
2005
Springer
119views Cryptology» more  FC 2005»
16 years 4 days ago
Policy-Based Cryptography and Applications
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
Walid Bagga, Refik Molva
GEOS
2005
Springer
16 years 4 days ago
A Qualitative Trajectory Calculus and the Composition of Its Relations
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
Nico Van de Weghe, Bart Kuijpers, Peter Bogaert, P...
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 4 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
MIDDLEWARE
2005
Springer
16 years 3 days ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...
WILF
2005
Springer
194views Fuzzy Logic» more  WILF 2005»
16 years 2 days ago
Learning Bayesian Classifiers from Gene-Expression MicroArray Data
Computing methods that allow the efficient and accurate processing of experimentally gathered data play a crucial role in biological research. The aim of this paper is to present a...
Andrea Bosin, Nicoletta Dessì, Diego Libera...