3028 search results - page 159 / 606 » Integrating Temporal Logics |
176
click to vote
EUC
2006
Springer
15 years 8 months ago
2006
Springer
Extracting appropriate custom instructions is an important phase for implementing an application on an extensible processor with a reconfigurable functional unit (RFU). Custom inst...
151
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
157
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
130
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
145
click to vote
AIPS
1994
15 years 6 months ago
1994
This paper concerns the specialization of arcconsistency algorithms for constraint satisfaction in the management of quantitative temporal constraint networks. Attention is devote...