7943 search results - page 1217 / 1589 » A calculus for costed computations |
168
click to vote
NEW2AN
2007
Springer
16 years 29 days ago
2007
Springer
Mobile WiMAX is a promising wireless technology approaching market deployment. Much discussion concentrate on whether mobile WiMAX will reach a tipping point and become 4G or not. ...
156
click to vote
PCM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose an adaptive method that can estimate 3D position of a soccer ball by using two viewpoint videos. The 3D position of a ball is essential to realize a 3D free vi...
179
click to vote
PKC
2007
Springer
16 years 29 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
221
click to vote
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...
167
click to vote
VOTEID
2007
Springer
16 years 29 days ago
2007
Springer
It is debatable if current direct-recording electronic voting machines can sufficiently be trusted for a use in elections. Reports about malfunctions and possible ways of manipulat...