Sciweavers

4061 search results - page 617 / 813
» Framework Evolution Tool
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 4 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
IJSEKE
2002
95views more  IJSEKE 2002»
15 years 4 months ago
A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
Tran-Thuong Tien, Cécile Roisin
JAIR
2002
120views more  JAIR 2002»
15 years 4 months ago
Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
Hagit Shatkay, Leslie Pack Kaelbling
JASSS
2002
85views more  JASSS 2002»
15 years 4 months ago
Opinion dynamics and bounded confidence: models, analysis and simulation
When does opinion formation within an interacting group lead to consensus, polarization or fragmentation? The article investigates various models for the dynamics of continuous opi...
Rainer Hegselmann, Ulrich Krause
154
Voted
SIGCSE
2002
ACM
96views Education» more  SIGCSE 2002»
15 years 4 months ago
Using RoboCup to teach multiagent systems and the distributed mindset
We present our experiences using the RoboCup soccerserver simulator and Biter, our own agent platform, for the teaching of a graduate multiagent systems' class. The RoboCup s...
José M. Vidal, Paul A. Buhler