Sciweavers

2757 search results - page 288 / 552
» On separating systems
Sort
View
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
16 years 25 days ago
Functional-Based Synthesis of Systolic Online Multipliers
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
Tudor Jebelean, Laura Szakacs
WACV
2005
IEEE
16 years 25 days ago
Shared Features for Scalable Appearance-Based Object Recognition
We present a framework for learning object representations for fast recognition of a large number of different objects. Rather than learning and storing feature representations s...
Erik Murphy-Chutorian, Jochen Triesch
WS
2005
ACM
16 years 25 days ago
Secure time synchronization service for sensor networks
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
Saurabh Ganeriwal, Srdjan Capkun, Chih-Chieh Han, ...
COCO
2005
Springer
141views Algorithms» more  COCO 2005»
16 years 24 days ago
Upper Bounds for Quantum Interactive Proofs with Competing Provers
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
Gus Gutoski
EUROPAR
2005
Springer
16 years 24 days ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...