Sciweavers

3729 search results - page 121 / 746
» On Formal Modeling of Agent Computations
Sort
View
COOPIS
2002
IEEE
15 years 11 months ago
A Human Based Perception Model for Cooperative Intelligent Virtual Agents
Interactive virtual worlds provide a powerful medium for experimental learning and entertainment. Nowadays, virtual environments often incorporate human-like embodied virtual agent...
Pilar Herrero, Angélica de Antonio
DEDS
2008
48views more  DEDS 2008»
15 years 6 months ago
On the Minimization of Communication in Networked Systems with a Central Station
The problem of minimizing communication in a distributed networked system is considered in a discrete-event formalism where the system is modeled as a finite-state automaton. The s...
Weilin Wang, Stéphane Lafortune, Feng Lin
HPCN
2000
Springer
15 years 10 months ago
Ruling Agent Motion in Structured Environments
The design and development of cooperative Internet applications based on mobile agents require appropriate modelling of both the physical space where agents roam and the conceptual...
Marco Cremonini, Andrea Omicini, Franco Zambonelli
ERSHOV
1993
Springer
15 years 10 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
CAD
2007
Springer
15 years 6 months ago
A formal theory for estimating defeaturing-induced engineering analysis errors
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
Sankara Hari Gopalakrishnan, Krishnan Suresh