3692 search results - page 608 / 739 » Active learning and its use in computer science |
138
click to vote
ICALP
2005
Springer
16 years 9 hour ago
2005
Springer
We present a new primitive—Append-only Signatures (AOS)—with the property that any party given an AOS signature Sig[M1] on message M1 can compute Sig[M1 M2] for any message M2...
151
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
183
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
170
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
225
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...