3742 search results - page 594 / 749 » On the Use of Formal Techniques for Validation |
184
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
145
click to vote
HT
1999
ACM
15 years 10 months ago
1999
ACM
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
154
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
176
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we develop a technique for measuring the perceptual equivalence of a graphical scene to a real scene. Ability to compare images is valuable in computer graphics for a...
163
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...