4609 search results - page 831 / 922 » Automatic Generation of Sigma-Protocols |
159
click to vote
WEBI
2007
Springer
16 years 13 days ago
2007
Springer
Finding and keeping track of other researchers’ publication lists is an essential activity for every researcher, because they often contain citations not found elsewhere and may...
185
click to vote
ICARCV
2006
IEEE
16 years 11 days ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...
224
click to vote
SUTC
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
214
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
156
click to vote
W4A
2006
ACM
16 years 8 days ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...