3604 search results - page 309 / 721 » All Common Subsequences |
178
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
150
click to vote
IVC
2007
15 years 6 months ago
2007
Thousands of images are generated every day, which implies the necessity to classify, organise and access them using an easy, faster and efficient way. Scene classification, the ...
158
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
We present a simple technique to improve the perception of an object's shape. Bump mapping is well known in the computer graphics community for providing the impression of sm...
162
click to vote
JVCIR
2007
15 years 6 months ago
2007
A common method to create high dynamic range (HDR) images is to combine several different exposures of the same scene. In this approach, the use of higher ISO settings will reduc...
134
click to vote
LISP
2007
15 years 6 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...