Sciweavers

597 search results - page 83 / 120
» Scalable, updatable predictive models for sequence data
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 21 days ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
122
Voted
DAC
2006
ACM
15 years 6 months ago
Modeling and minimization of PMOS NBTI effect for robust nanometer design
Negative bias temperature instability (NBTI) has become the dominant reliability concern for nanoscale PMOS transistors. In this paper, a predictive model is developed for the deg...
Rakesh Vattikonda, Wenping Wang, Yu Cao
101
Voted
ECAI
2006
Springer
15 years 4 months ago
A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
Sylvain Castagnos, Anne Boyer
91
Voted
VLDB
1995
ACM
130views Database» more  VLDB 1995»
15 years 4 months ago
Improving Performance in Replicated Databases through Relaxed Coherency
Applications in finance and telecommunications (intelligent network, network management, mobile computing) cause renewed interest in distributed and replicated data management. Si...
Rainer Gallersdörfer, Matthias Nicola
114
Voted
DAGM
2009
Springer
15 years 7 months ago
Self-Organizing Maps for Pose Estimation with a Time-of-Flight Camera
We describe a technique for estimating human pose from an image sequence captured by a time-of-flight camera. The pose estimation is derived from a simple model of the human body ...
Martin Haker, Martin Böhme, Thomas Martinetz,...