4460 search results - page 555 / 892 » Formal methods for interactive systems |
162
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
175
click to vote
IJCM
2002
15 years 6 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
180
click to vote
SAS
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
179
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we propose an image-based approach to synthesize a novel view image for mixed reality (MR) systems. Theoretically, the image- based method is good for synthesizing ...
181
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...