Sciweavers

2174 search results - page 168 / 435
» Efficient Testing of Forecasts
Sort
View
137
Voted
ICML
2008
IEEE
16 years 3 months ago
Fast estimation of first-order clause coverage through randomization and maximum likelihood
In inductive logic programming, subsumption is a widely used coverage test. Unfortunately, testing -subsumption is NP-complete, which represents a crucial efficiency bottleneck fo...
Filip Zelezný, Ondrej Kuzelka
96
Voted
CHI
2007
ACM
16 years 3 months ago
K-menu: a keyword-based dynamic menu interface for small computers
In this paper, we introduce K-Menu, a keyword-based dynamic menu interface. When a user enters a keyword, a menu with items related to the keyword is constructed dynamically and p...
Seung Eun Lee, Geehyuk Lee
100
Voted
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 11 months ago
Accurate Diagnosis of Multiple Faults
In this paper, we propose a diagnostic test generation method in conjunction with an efficient sequential SAT-based diagnosis procedure to precisely identify multiple defective si...
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
ISCAS
2008
IEEE
133views Hardware» more  ISCAS 2008»
15 years 9 months ago
A hybrid self-testing methodology of processor cores
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
Tai-Hua Lu, Chung-Ho Chen, Kuen-Jong Lee
130
Voted
LCN
2008
IEEE
15 years 9 months ago
P2P directory search: Signature Array Hash Table
— Bloom filters are a well known data structure for approximate set membership. Bloom filters are space efficient but require many independent hashes and consecutive memory acces...
Miguel Jimeno, Kenneth J. Christensen