580 search results - page 86 / 116 » Approximation Algorithms for Temporal Reasoning |
108
click to vote
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
110
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
112
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
In dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI), segmentation of internal kidney structures like cortex, medulla and pelvo-caliceal cavities is necessary for fun...
119
Voted
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
121
Voted
ICMI
2007
Springer
15 years 8 months ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...