6300 search results - page 16 / 1260 » We have it easy, but do we have it right |
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
NAACL
2010
13 years 6 months ago
2010
We present a random-walk-based approach to learning paraphrases from bilingual parallel corpora. The corpora are represented as a graph in which a node corresponds to a phrase, an...
ACNS
2006
Springer
14 years 2 months ago
2006
Springer
Unstructured P2P systems have gained great popularity in recent years and are currently used by millions of users. One fundamental property of these systems is the lack of structu...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
Enterprise capable database products have evolved into incredibly complex systems, some of which present hundreds of configuration parameters to the system administrator. So, whil...
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...