2701 search results - page 155 / 541 » On the form of witness terms |
151
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
138
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper is described a data-driven algorithm for the functionally correct spelling of MIDI pitch values in terms of Western musical notation. Input is in the form of MIDI fi...
123
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Online newspapers, having existed on the Internet for a couple of years, are now having similar form and content, starting to shape what could be called a genre. We have analyzed ...
187
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we define several disclosure risk measures for microdata. We will analyze disclosure risk based on the disclosure control techniques applied to initial microdata. D...
157
click to vote
ACMICEC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we describe a business-to-business (B2B) testbed co-sponsored by the Open Applications Group, Inc. (OAGI) and the National Institute of Standard and Technology (NIS...