Sciweavers

626 search results - page 47 / 126
» Abstract Modularity
Sort
View
IAT
2009
IEEE
14 years 21 days ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
EUROCRYPT
2006
Springer
14 years 15 days ago
VSH, an Efficient and Provable Collision-Resistant Hash Function
Abstract. We introduce VSH, very smooth hash, a new S-bit hash function that is provably collision-resistant assuming the hardness of finding nontrivial modular square roots of ver...
Scott Contini, Arjen K. Lenstra, Ron Steinfeld
JUCS
2008
117views more  JUCS 2008»
13 years 8 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...
KI
2008
Springer
13 years 8 months ago
Learning Dance Movements by Imitation: A Multiple Model Approach
Abstract. Imitation learning is an intuitive and easy way of programming robots. Instead of specifying motor commands, you simply show the robot what to do. This paper presents a m...
Axel Tidemann, Pinar Öztürk
LOBJET
2006
105views more  LOBJET 2006»
13 years 8 months ago
Expression and Composition of Design Patterns with AspectJ
ABSTRACT. Design patterns are well-known couples of problems-solutions for software engineering. By nature, they often lack support from languages and this further complicates the ...
Simon Denier, Pierre Cointe