5550 search results - page 340 / 1110 » Different Approaches to Proof Systems |
208
click to vote
NPC
2005
Springer
16 years 8 days ago
2005
Springer
Peer-to-Peer (P2P) architectures are very prevalent in today’s Internet. Lots of P2P file sharing systems using Gnutella protocol emerge out and draw attractions of millions of p...
151
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Emerging electronic text formats include hierarchical structure and visualization related information that current Text-to-Speech (TtS) systems ignore. In this paper we p...
151
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Textual-case based reasoning (TCBR) systems where the problem and solution are in free text form are hard to evaluate. In the absence of class information, domain experts are neede...
193
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...
191
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
We present a method for unsupervised discovery of abnormal occurrences of activities in multi-dimensional time series data. Unsupervised activity discovery approaches differ from ...