Sciweavers

5363 search results - page 518 / 1073
» Building the Cerebellum in a Computer
Sort
View
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
16 years 16 days ago
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton...
HAPTICS
2003
IEEE
16 years 15 days ago
Designing the Haptic Turntable for Musical Control
In this paper, we discuss the design and implementation of D’Groove, an intelligent Disc Jockey (DJ) system that features the use of haptic force feedback to expand the expressi...
Tim Beamish, Karon E. MacLean, Sidney Fels
IAT
2003
IEEE
16 years 15 days ago
SIMPLE - A Multi-Agent System for Simultaneous and Related Auctions
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
Ruy Luiz Milidiú, Taciana Melcop, Frederico...
SAINT
2003
IEEE
16 years 15 days ago
Generic Peer-to-Peer Support for a Personal Service Platform
Building on previous work of the OASIS group at SICS, this paper presents a generic peer-to-peer system for the sView personal service platform. The sView platform provides each u...
Fredrik Espinoza, Lucas Hinz
AC
2003
Springer
16 years 14 days ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...