4134 search results - page 662 / 827 » Collaborative Practice Research |
167
click to vote
AI
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. In this paper, we study the behaviour of the Scaling and Probabilistic Smoothing (SAPS) dynamic local search algorithm on the unweighted MAXSAT problem. MAX-SAT is a conc...
183
click to vote
ASIACRYPT
2003
Springer
16 years 4 days ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
221
click to vote
BTW
2003
Springer
16 years 4 days ago
2003
Springer
Abstract: Optimization of nested queries, in particular finding equivalent “flattened” queries for queries that employ the SQL sub-query construct, has been researched extensiv...
236
click to vote
CBSQ
2003
Springer
16 years 3 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
202
click to vote
EUROCRYPT
2003
Springer
16 years 3 days ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...