5499 search results - page 993 / 1100 » Generalized Rewrite Theories |
188
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
In collaborative indexing systems users generate a big amount of metadata by labelling web-based content. These labels are known as tags and form a shared vocabulary. In order to u...
202
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
230
click to vote
CCECE
2006
IEEE
16 years 28 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
192
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
188
click to vote
FOCS
2006
IEEE
16 years 28 days ago
2006
IEEE
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been...