Sciweavers

639 search results - page 31 / 128
» A Finite State Mobile Agent Computation Model
Sort
View
APN
2006
Springer
15 years 1 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
ACL
1998
14 years 10 months ago
Discourse Cues for Broadcast News Segmentation
This paper describes the design and application of time-enhanced, finite state models of discourse cues to the automated segmentation of broadcast news. We describe our analysis o...
Mark T. Maybury
TMC
2011
187views more  TMC 2011»
14 years 4 months ago
Mobility Tracking Based on Autoregressive Models
We propose an integrated scheme for tracking the mobility of a user based on autoregressive models that accurately capture the characteristics of realistic user movements in wirel...
Zainab R. Zaidi, Brian L. Mark
ECML
2005
Springer
15 years 3 months ago
Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
Masoumeh T. Izadi, Doina Precup
ICALP
2009
Springer
15 years 4 months ago
Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
Rachid Guerraoui, Eric Ruppert