1466 search results - page 170 / 294 » Complexity of Reasoning over Temporal Data Models |
167
click to vote
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
110
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
153
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
141
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
150
click to vote
AGI
2008
15 years 5 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...