4609 search results - page 740 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
205
click to vote
MIR
2006
ACM
16 years 13 days ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...
148
click to vote
OZCHI
2006
ACM
16 years 13 days ago
2006
ACM
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
175
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
161
click to vote
UIST
2006
ACM
16 years 13 days ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...