1466 search results - page 83 / 294 » Complexity of Reasoning over Temporal Data Models |
129
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Robust sequence prediction is an essential component of an intelligent agent acting in a dynamic world. We consider the case of near-future event prediction by an online learning ...
133
click to vote
NIPS
2007
15 years 5 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (...
187
Voted
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
113
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a novel classification algorithm that fits models of different complexity on separate regions of the input space. The goal is to achieve a balance betwee...
200
click to vote
ICDE
2012
IEEE
14 years 3 months ago
2012
IEEE
Top-k pairs queries have received significant attention by the research community. k-closest pairs queries, k-furthest pairs queries and their variants are among the most well stu...