Sciweavers

2706 search results - page 389 / 542
» Dynamical models of sentence processing
Sort
View
PDSE
2000
91views more  PDSE 2000»
15 years 5 months ago
A Formalism for Hierarchical Mobile Agents
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
Ichiro Satoh
TOPNOC
2008
15 years 4 months ago
Time Recursive Petri Nets
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
Djaouida Dahmani, Jean-Michel Ilié, Malika ...
IANDC
2010
83views more  IANDC 2010»
15 years 3 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
HCI
2009
15 years 2 months ago
The Art of Cross-Cultural Design for Usability
More and more HCI researchers and practitioners have realized the urgency of addressing culture as being more than just an interface tuning parameter. Recent publications, project ...
Heike Winschiers-Theophilus
AIPS
2009
15 years 5 months ago
Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
Karina Valdivia Delgado, Scott Sanner, Leliane Nun...