Sciweavers

2740 search results - page 146 / 548
» Typing the Specialization Interface
Sort
View
125
Voted
CHES
2001
Springer
191views Cryptology» more  CHES 2001»
15 years 8 months ago
A Scalable GF(p) Elliptic Curve Processor Architecture for Programmable Hardware
Abstract. This work proposes a new elliptic curve processor architecture for the computation of point multiplication for curves defined over fields GF(p). This is a scalable arch...
Gerardo Orlando, Christof Paar
84
Voted
CVPR
2000
IEEE
15 years 8 months ago
Categorical Representation and Recognition of Oscillatory Motion Patterns
Many communicative behaviors in the animal kingdom consist of performing and recognizing specialized patterns of oscillatory motion. Here we present an approach to the representat...
James W. Davis, Whitman Richards, Aaron F. Bobick
113
Voted
AGENTS
1997
Springer
15 years 7 months ago
Linearly Anticipatory Autonomous Agents
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
Paul Davidsson
131
Voted
APN
2001
Springer
15 years 7 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
139
Voted
DMS
2008
152views Multimedia» more  DMS 2008»
15 years 5 months ago
Layered Context Modeling in Situated Information Processing
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...
Augusto Celentano