Sciweavers

3974 search results - page 635 / 795
» Metric Functional Dependencies
Sort
View
HASKELL
2006
ACM
16 years 15 days ago
Polymorphic variants in Haskell
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
Koji Kagawa
HRI
2006
ACM
16 years 15 days ago
Effective team-driven multi-model motion tracking
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
Yang Gu, Manuela M. Veloso
ISLPED
2006
ACM
132views Hardware» more  ISLPED 2006»
16 years 14 days ago
Low-power fanout optimization using MTCMOS and multi-Vt techniques
This paper addresses the problem of low-power fanout optimization. We show that due to neglecting short-circuit current, previous analytical techniques proposed to optimize the ar...
Behnam Amelifard, Farzan Fallah, Massoud Pedram
ACSAC
2005
IEEE
16 years 4 days ago
An Integrity Verification Scheme for DNS Zone file based on Security Impact Analysis
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
Ramaswamy Chandramouli, Scott Rose
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
16 years 4 days ago
Two-Phase Distributed Observation Problems
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
Stavros Tripakis