10304 search results - page 1701 / 2061 » Computer science with the sciences: an emphasis in computati... |
148
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
171
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...
170
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
192
Voted
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
175
click to vote
SIGCSE
2004
ACM
16 years 6 days ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...