Sciweavers

2757 search results - page 288 / 552
» On separating systems
Sort
View
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
16 years 5 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 5 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 5 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 4 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 4 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...