Sciweavers

2786 search results - page 124 / 558
» A Practical Technique for Process Abstraction
Sort
View
BIRTHDAY
2004
Springer
15 years 7 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
IJIIDS
2008
201views more  IJIIDS 2008»
15 years 1 months ago
MALEF: Framework for distributed machine learning and data mining
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
Jan Tozicka, Michael Rovatsos, Michal Pechoucek, S...
IWCM
2004
Springer
15 years 7 months ago
Complex Motion in Environmental Physics and Live Sciences
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
Bernd Jähne
ICIP
2009
IEEE
16 years 2 months ago
Face Recognition Using Sift Features
Face recognition has many important practical applications, like surveillance and access control. It is concerned with the problem of correctly identifying face images and assigni...
105
Voted
CORR
2008
Springer
141views Education» more  CORR 2008»
15 years 1 months ago
Automatic Verification of Correspondences for Security Protocols
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
Bruno Blanchet