631 search results - page 53 / 127 » Producing reliable software: an experiment |
RECOMB
2005
Springer
14 years 8 months ago
2005
Springer
Recent technological advances have enabled high-throughput measurements of protein-protein interactions in the cell, producing protein interaction networks for various species at a...
AMI
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we assess the potential of rich tactile notifications on mobile phones. Many mobile phone users use vibration output for various types of notification on their phone....
LREC
2010
13 years 9 months ago
2010
This paper introduces a new named entity corpus for Dutch. State-of-the-art named entity recognition systems require a substantial annotated corpus to be trained on. Such corpora ...
SBBD
2007
13 years 9 months ago
2007
In this work we propose a representation of the web as a directed hypergraph, instead of a graph, where links can connect not only pairs of pages, but also pairs of disjoint sets o...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...