326 search results - page 24 / 66 » Closing the Gap |
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
JSAC
2006
14 years 10 months ago
2006
The design of pricing mechanisms for network resource allocation has two important objectives: 1) a simple and scalable end-to-end implementation and 2) efficiency of the resulting...
IJOE
2007
14 years 10 months ago
2007
- Since the Topic Map standard describes a prospective knowledge-structuring model that can be used in a huge variety of knowledge domains the amount of applications utilizing this...
GCB
2010
Springer
14 years 8 months ago
2010
Springer
: The current high-throughput sequencing technologies produce gigabytes of data even when prokaryotic genomes are processed. In a subsequent assembly phase, the generated overlappi...