Sciweavers

5363 search results - page 527 / 1073
» Building the Cerebellum in a Computer
Sort
View
AGP
1997
IEEE
15 years 11 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
AGENTS
1997
Springer
15 years 11 months ago
COLLAGEN: When Agents Collaborate with People
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
Charles Rich, Candace L. Sidner
ISCA
1996
IEEE
120views Hardware» more  ISCA 1996»
15 years 11 months ago
Missing the Memory Wall: The Case for Processor/Memory Integration
Current high performance computer systems use complex, large superscalar CPUs that interface to the main memory through a hierarchy of caches and interconnect systems. These CPU-c...
Ashley Saulsbury, Fong Pong, Andreas Nowatzyk
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 11 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
COST
1994
Springer
146views Multimedia» more  COST 1994»
15 years 11 months ago
A Binding Architecture for Multimedia Networks
: An open architecture that achieves seamless binding between networking and multimedia devices is proposed. The building blocks of the binding architecture consist of a set of es,...
Aurel A. Lazar, Shailendra K. Bhonsle, Koon-Seng L...