10870 search results - page 1995 / 2174 » Model Checking Programs |
112
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
Cinematography describes principles and techniques pertaining to the effective use of cameras to film live action. The correct application of these principles and techniques produ...
100
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
123
click to vote
EMMCVPR
2005
Springer
15 years 7 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
104
click to vote
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
EUROCRYPT
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces the related-key boomerang and the related-key rectangle attacks. These new attacks can expand the cryptanalytic toolbox, and can be applied to many block ciph...