4047 search results - page 551 / 810 » The Discrete Basis Problem |
127
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
134
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
116
click to vote
RECOMB
2001
Springer
16 years 5 months ago
2001
Springer
Protein-protein interactions play a central role in many cellular functions, and as whole-genome data accumulates, computational methods for predicting these interactions become i...
141
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
IEEE 802.11 and Mote devices are today two of the most interesting wireless technologies for ad hoc and sensor networks respectively, and many efforts are currently devoted to und...
130
click to vote
ACHI
2009
IEEE
15 years 11 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...