Sciweavers

3790 search results - page 454 / 758
» Advances in Mixture Models
Sort
View
199
Voted
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 11 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
189
Voted
ATAL
2006
Springer
15 years 11 months ago
Synthetic humans in emergency response drills
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
Daniel Massaguer, Vidhya Balasubramanian, Sharad M...
ESAW
2006
Springer
15 years 11 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
DAI
1995
Springer
15 years 11 months ago
A Methodology for Developing Agent Based Systems
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
Elizabeth A. Kendall, Margaret T. Malkoun, Chong H...
195
Voted
WSC
2007
15 years 9 months ago
A hybrid inventory control system approach applied to the food industry
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
David Claudio, Jie Zhang, Ying Zhang