2922 search results - page 461 / 585 » On Relationships Between Query Models |
92
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
86
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
This paper investigates the issues in polyphonic popular song retrieval. The problems that we consider include singing voice extraction, melodic curve representation, and database...
KR
2004
Springer
15 years 6 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
94
Voted
ICPR
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a fast mesh simplification algorithm that combined the half-edge data structure with modified quadric error metric (QEM). When half-edge structure is used, the...
CRYPTO
2001
Springer
15 years 5 months ago
2001
Springer
We present session-key generation protocols in a model where the legitimate parties share only a human-memorizable password. The security guarantee holds with respect to probabilis...