1466 search results - page 92 / 294 » Complexity of Reasoning over Temporal Data Models |
124
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
110
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
167
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Pipeline architectures provide a versatile and efficient mechanism for constructing visualizations, and they have been implemented in numerous libraries and applications over the p...
128
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...
160
click to vote
UAI
2004
15 years 5 months ago
2004
This paper uses Factored Latent Analysis (FLA) to learn a factorized, segmental representation for observations of tracked objects over time. Factored Latent Analysis is latent cl...