Sciweavers

1788 search results - page 307 / 358
» Model Theory for Process Algebra
Sort
View
139
Voted
ATAL
2007
Springer
15 years 7 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
ATAL
2006
Springer
15 years 7 months ago
Decentralized planning under uncertainty for teams of communicating agents
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
Matthijs T. J. Spaan, Geoffrey J. Gordon, Nikos A....
145
Voted
POPL
1990
ACM
15 years 7 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
143
Voted
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 7 months ago
The hybrid intelligent control for the fused magnesia production
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
124
Voted
ECIS
2001
15 years 5 months ago
Back to the Future: From Knowledge Management to Data Management
This paper argues for a return to fundamentals as we enter the new millennium. It argues that the field of Information Systems should no longer be distracted from its natural locu...
Robert D. Galliers, Sue Newell