317 search results - page 36 / 64 » Who gives a tweet |
AMAST
2006
Springer
14 years 18 days ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
FC
2004
Springer
14 years 18 days ago
2004
Springer
Most voting schemes rely on a number of authorities. If too many of these authorities are dishonest then voter privacy may be violated. To give stronger guarantees of voter privacy...
DASFAA
2006
IEEE
14 years 16 days ago
2006
IEEE
XML is a de-facto standard for exchanging and presenting information on the Web. However, XML data is also recognized as verbose since it heavily inflates the size of the data due ...
EUC
2006
Springer
14 years 16 days ago
2006
Springer
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
AAAI
2008
13 years 11 months ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...