1302 search results - page 249 / 261 » Soundness in the Public-Key Model |
103
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
105
click to vote
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
106
click to vote
TRECVID
2008
15 years 1 months ago
2008
This paper presents our experiments on TRECVID workshop 2008. This year we participated in two challenging tasks, rushes video summarisation and video copy detection tasks. We stu...
106
click to vote
NIPS
2003
15 years 1 months ago
2003
At a cocktail party, a listener can selectively attend to a single voice and filter out other acoustical interferences. How to simulate this perceptual ability remains a great cha...
SERP
2003
15 years 1 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...