61 search results - page 2 / 13 » Expressiveness Revisited |
ICDT
2005
ACM
13 years 10 months ago
2005
ACM
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
JLP
2007
13 years 5 months ago
2007
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
WMTE
2006
IEEE
13 years 11 months ago
2006
IEEE
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...
NETCOOP
2009
Springer
13 years 11 months ago
2009
Springer
This paper revisits the two-hop forwarding policy in delay tolerant networks (DTNs) using simple probabilistic arguments. Closed form expressions are derived for the main performan...
CIE
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. We express some criticism about the definition of an algorithmic sufficient statistic and, in particular, of an algorithmic minimal sufficient statistic. We propose anoth...