7109 search results - page 245 / 1422 » Process Algebra with Combinators |
108
click to vote
LREC
2008
15 years 5 months ago
2008
The number and sizes of parallel corpora keep growing, which makes it necessary to have automatic methods of processing them: combining, checking and improving corpora quality, et...
128
click to vote
IJCAI
2007
15 years 5 months ago
2007
WiFi localization, the task of determining the physical location of a mobile device from wireless signal strengths, has been shown to be an accurate method of indoor and outdoor l...
128
click to vote
TCOM
2008
15 years 4 months ago
2008
In cellular wireless communication systems, there have been various receiver-based techniques for performance improvement. However, it may be desirable to use transmitterbased tech...
145
click to vote
ISQED
2011
IEEE
14 years 8 months ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
214
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Database outsourcing requires that a query server constructs a proof of result correctness, which can be verified by the client using the data owner's signature. Previous aut...