4460 search results - page 555 / 892 » Formal methods for interactive systems |
188
Voted
SIGMOD
1995
ACM
15 years 11 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...
191
Voted
IJCM
2002
15 years 7 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...
214
Voted
SAS
2004
Springer
16 years 23 days 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 ...
193
Voted
ICIP
2001
IEEE
16 years 9 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 ...
210
Voted
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 ...