Sciweavers

1895 search results - page 47 / 379
» Modular Functional Descriptions
Sort
View
ENTCS
2002
83views more  ENTCS 2002»
13 years 7 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
ICIP
2005
IEEE
14 years 9 months ago
Variable module graphs: a framework for inference and learning in modular vision systems
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
Amit Sethi, Mandar Rahurkar, Thomas S. Huang
PROMAS
2005
Springer
14 years 1 months ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
VTS
2000
IEEE
95views Hardware» more  VTS 2000»
14 years 3 days ago
Word Voter: A New Voter Design for Triple Modular Redundant Systems
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
Subhasish Mitra, Edward J. McCluskey
AUSAI
2006
Springer
13 years 11 months ago
Modular Bayesian Networks for Inferring Landmarks on Mobile Daily Life
Abstract. Mobile devices get to handle much information thanks to the convergence of diverse functionalities. Their environment has great potential of supporting customized service...
Keum-Sung Hwang, Sung-Bae Cho