1400 search results - page 262 / 280 » On multiplication in finite fields |
CHI
2001
ACM
14 years 10 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
Searching and extracting meaningful information out of highly heterogeneous datasets is a hot topic that received a lot of attention. However, the existing solutions are based on e...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
Ubiquitous connectivity on mobile devices will enable numerous new applications in healthcare and multimedia. We set out to check how close we are towards ubiquitous connectivity ...
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...