352 search results - page 63 / 71 » Automatically Extracting and Representing Collocations for L... |
113
Voted
BMCBI
2007
15 years 20 days ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...
190
Voted
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...
110
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
109
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
111
click to vote
CADE
2008
Springer
16 years 26 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...