1404 search results - page 207 / 281 » Increasing Concurrency in Databases Using Program Analysis |
124
click to vote
STOC
2009
ACM
16 years 1 months ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
With the rise of tools for clinical decision support, there is an increased need for automatic processing of electrocardiograms (ECG) documents. In fact, many systems have already...
111
Voted
TREC
2001
15 years 2 months ago
2001
PiQASso is a Question Answering system based on a combination of modern IR techniques and a series of semantic filters for selecting paragraphs containing a justifiable answer. Se...
105
Voted
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
110
click to vote
RTAS
2006
IEEE
15 years 6 months ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...