Sciweavers

6224 search results - page 217 / 1245
» Recent Advances in Networking
Sort
View
107
Voted
SEW
2006
IEEE
15 years 6 months ago
Pseudo-Exhaustive Testing for Software
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
D. Richard Kuhn, Vadim Okun
ACMSE
2006
ACM
15 years 6 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
105
Voted
ASPDAC
2006
ACM
127views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Memory size computation for multimedia processing applications
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
Hongwei Zhu, Ilie I. Luican, Florin Balasa
MOMM
2006
ACM
122views Communications» more  MOMM 2006»
15 years 6 months ago
Multimedia Tools for Teaching Reconfigurable Systems
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
Valery Sklyarov, Iouliia Skliarova
85
Voted
HICSS
2005
IEEE
111views Biometrics» more  HICSS 2005»
15 years 6 months ago
Using Information Extraction for Quality Analysis in Human Authentication
During the past decade there have been significant advances in the field of Natural Language Processing (NLP) and, in particular, Information Extraction (IE) [2] which have fueled...
Kiyoshi Sudo, Amit Bagga, Lawrence O'Gorman, Jon L...