Sciweavers

852 search results - page 18 / 171
» Small Active Counters
Sort
View
PERVASIVE
2004
Springer
14 years 3 months ago
Activity Recognition in the Home Using Simple and Ubiquitous Sensors
In this work, a system for recognizing activities in the home setting using a set of small and simple state-change sensors is introduced. The sensors are designed to be “tape on ...
Emmanuel Munguia Tapia, Stephen S. Intille, Kent L...
CSREAESA
2004
13 years 11 months ago
Approaches for Monitoring Vectors on Microprocessor Buses
This paper introduces two new methods for observing and recording the vectors that have been asserted on a bus. The first is a software approach that uses a novel data structure s...
Hector Arteaga, Hussain Al-Asaad
TAP
2008
Springer
153views Hardware» more  TAP 2008»
13 years 9 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
MICRO
2010
IEEE
238views Hardware» more  MICRO 2010»
13 years 7 months ago
Sampling Dead Block Prediction for Last-Level Caches
Last-level caches (LLCs) are large structures with significant power requirements. They can be quite inefficient. On average, a cache block in a 2MB LRU-managed LLC is dead 86% of ...
Samira Manabi Khan, Yingying Tian, Daniel A. Jimen...
ACL
2008
13 years 11 months ago
Active Learning with Confidence
Active learning is a machine learning approach to achieving high-accuracy with a small amount of labels by letting the learning algorithm choose instances to be labeled. Most of p...
Mark Dredze, Koby Crammer