2334 search results - page 341 / 467 » How are Real Grids Used |
122
Voted
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
112
Voted
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a method to relight human faces in real time, using consumer-grade graphics cards even with limited 3D capabilities. We show how to render faces using a c...
110
Voted
ICEIS
2002
IEEE
15 years 9 months ago
2002
IEEE
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
141
Voted
ISMAR
2002
IEEE
15 years 8 months ago
2002
IEEE
Camera tracking is a fundamental requirement for videobased Augmented Reality applications. The ability to accurately calculate the intrinsic and extrinsic camera parameters for e...
133
Voted
CCS
2001
ACM
15 years 8 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...