642 search results - page 13 / 129 » Once Upon a Type |
112
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Pseudomonas aeruginosa, an opportunistic pathogen, is often encountered in chronic lung diseases such as cystic fibrosis or chronic obstructive pneumonia, as well as a...
ESORICS
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
83
Voted
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
SYNTHESE
2008
14 years 11 months ago
2008
The traditional account (TA) of first-person thought draws conclusions about this type of thinking from claims made about the first-person pronoun. In this paper I raise a worry fo...
ISMIR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, an application of feature extraction from music data is first introduced to motivate our research of finding approximate repeating patterns from sequence data. An a...