20807 search results - page 90 / 4162 » How to read a paper |
124
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
155
click to vote
ICNSC
2008
IEEE
15 years 11 months ago
2008
IEEE
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
130
click to vote
RECONFIG
2008
IEEE
15 years 11 months ago
2008
IEEE
Bilinear interpolation is widely used in computer vision for extracting pixel values for positions that lie off the pixel grid in an image. For each sub-pixel, the values of four ...
134
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Security is gaining increasing relevance in the development of embedded devices. Towards a secure system at each level of design, this paper addresses the security aspects related...
145
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a technique to visualize the communication pattern of a parallel application at different points during its execution. Unlike many existing tools that show the...