8828 search results - page 1596 / 1766 » Formal methods in practice |
138
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
141
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
125
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
The miniaturization of transistors in recent technology nodes requires tremendous back-end tuning and optimizations, making bug fixing at later design stages more expensive. Ther...
149
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
166
click to vote
BIBE
2008
IEEE
15 years 11 months ago
2008
IEEE
— The Smith-Waterman algorithm is a dynamic programming method for determining optimal local alignments between nucleotide or protein sequences. However, it suffers from quadrati...