4098 search results - page 356 / 820 » Sound mobility models |
175
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
178
click to vote
ISMIR
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a hierarchical approach for fast audio stream segmentation and classification. With this approach, the audio stream is firstly segmented into audio clips by M...
156
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes. In this paper, we propose a family of stack-based a...
178
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
164
Voted
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a modelling of Support Vector Machine (SVM) learning to address the problem of learning with sloppy labels. In binary classification, learning with sloppy labe...