4940 search results - page 39 / 988 » On the Complexity of Universal Programs |
102
click to vote
ECTEL
2006
Springer
15 years 5 months ago
2006
Springer
This article describes a study of distance collaborative activities that have been conducted in a cross-national setting between a Greek and a German university. We discuss issues ...
116
click to vote
PATAT
1995
Springer
15 years 5 months ago
1995
Springer
The scheduling of exams in institutions of higher education is known to be a highly constrained problem. The advent of modularity in many institutions in the UK has resulted in a s...
104
click to vote
AAAI
2006
15 years 3 months ago
2006
Present developments in the natural sciences are providing enormous and challenging opportunities for various AI technologies to have an unprecedented impact in the broader scient...
128
click to vote
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
190
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond