Sciweavers

11017 search results - page 1958 / 2204
» Closure Systems and their Structure
Sort
View
CSUR
2004
132views more  CSUR 2004»
15 years 7 months ago
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
Over the past years, mobile agent technology has attracted considerable attention, and a significant body of literature has been published. To further develop mobile agent technol...
Stefan Pleisch, André Schiper
CVIU
2004
152views more  CVIU 2004»
15 years 7 months ago
Detecting image orientation based on low-level visual content
Accurately and automatically detecting image orientation is of great importance in intelligent image processing. In this paper, we present automatic image orientation detection al...
Yongmei Michelle Wang, HongJiang Zhang
AI
2000
Springer
15 years 7 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
CCR
2002
98views more  CCR 2002»
15 years 7 months ago
Efficient flooding with Passive Clustering (PC) in ad hoc networks
An ad hoc network is a fast deployable selfconfiguring wireless network characterized by node mobility, dynamic topology structure, unreliable media and limited power supply. Node...
Taek Jin Kwon, Mario Gerla
ENTCS
2000
112views more  ENTCS 2000»
15 years 7 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
« Prev « First page 1958 / 2204 Last » Next »