Sciweavers

2492 search results - page 336 / 499
» An Integrated Rule Modeling Framework
Sort
View
AMAST
2008
Springer
15 years 8 months ago
The Verification of the On-Chip COMA Cache Coherence Protocol
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
IICAI
2003
15 years 7 months ago
Belief Augmented Frame Sets for Knowledge Representation in Spoken Dialog Systems
We propose a frame structure that is augmented with belief functions to model knowledge in a spoken dialog system. In addition we propose methods to combine belief functions in the...
Colin Keng-Yan Tan, Kim-Teng Lua
SERP
2004
15 years 7 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
AAAI
1998
15 years 7 months ago
When Robots Weep: Emotional Memories and Decision-Making
We describe an agent architecture that integrates emotions, drives, and behaviors, and that focuses on modeling some of the aspects of emotions as fundamental components within th...
Juan D. Velásquez
ICRA
2010
IEEE
135views Robotics» more  ICRA 2010»
15 years 5 months ago
Using multiple hypothesis in model-based tracking
— Classic registration methods for model-based tracking try to align the projected edges of a 3D model with the edges of the image. However, wrong matches at low level can make t...
Céline Teuliere, Éric Marchand, Laur...