Sciweavers

2604 search results - page 224 / 521
» Human Errors and System Requirements
Sort
View
ICSE
2010
IEEE-ACM
14 years 1 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
EMNLP
2011
12 years 9 months ago
Identifying Relations for Open Information Extraction
Open Information Extraction (IE) is the task of extracting assertions from massive corpora without requiring a pre-specified vocabulary. This paper shows that the output of state...
Anthony Fader, Stephen Soderland, Oren Etzioni
ICASSP
2009
IEEE
14 years 4 months ago
Spoken term detection using fast phonetic decoding
While spoken term detection (STD) systems based on word indices provide good accuracy, there are several practical applications where it is infeasible or too costly to employ an L...
Roy Wallace, Robbie Vogt, Sridha Sridharan
TVLSI
2008
106views more  TVLSI 2008»
13 years 9 months ago
Efficient Distributed On-Chip Decoupling Capacitors for Nanoscale ICs
Abstract--A distributed on-chip decoupling capacitor network is proposed in this paper. A system of distributed on-chip decoupling capacitors is shown to provide an efficient solut...
Mikhail Popovich, Eby G. Friedman, Radu M. Secarea...
MAM
2011
349views Communications» more  MAM 2011»
13 years 4 months ago
An iterative logarithmic multiplier
The paper presents a new multiplier enabling achievement of an arbitrary accuracy. It follows the same idea of number representation as the Mitchell’s algorithm, but does not use...
Zdenka Babic, Aleksej Avramovic, Patricio Bulic