Sciweavers

2024 search results - page 272 / 405
» A Formal Model of Multi-agent Computations
Sort
View
HLPPP
1991
15 years 3 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
NGC
1998
Springer
171views Communications» more  NGC 1998»
14 years 11 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...
72
Voted
ICMCS
2007
IEEE
151views Multimedia» more  ICMCS 2007»
15 years 5 months ago
Exploring Contextual Information in a Layered Framework for Group Action Recognition
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
Dong Zhang, Samy Bengio
95
Voted
ATAL
2009
Springer
15 years 17 days ago
Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
Henrique Lopes Cardoso, Eugénio C. Oliveira
97
Voted
SIMULATION
2008
139views more  SIMULATION 2008»
14 years 11 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...