107 search results - page 18 / 22 » Controlling Redundancy in Referring Expressions |
APN
2006
Springer
13 years 9 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
PKDD
2004
Springer
14 years 21 days ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
SP
2003
IEEE
14 years 18 days ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
BMCBI
2010
13 years 2 months ago
2010
Background: Concomitant with the rise in the popularity of DNA microarrays has been a surge of proposed methods for the analysis of microarray data. Fully controlled "spike-i...