29082 search results - page 332 / 5817 » The Time-Triggered Model of Computation |
152
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
166
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
330
click to vote
Book
The book covers the fundamental computer vision techniques such as template matching histogram transformations, background subtraction, filtering and reflectance models, edge detec...
173
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...
175
click to vote
AFP
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...