3799 search results - page 685 / 760 » An Engineering Approach to Formal Methods |
139
click to vote
WABI
2001
Springer
15 years 8 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
150
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
158
click to vote
TOG
2012
13 years 6 months ago
2012
We present a technique for performing high-dimensional filtering of images and videos in real time. Our approach produces high-quality results and accelerates filtering by compu...
178
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
226
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...