Sciweavers

3814 search results - page 141 / 763
» Extensible Information Brokers
Sort
View
ICISS
2009
Springer
16 years 1 months ago
Remote Electronic Voting with Revocable Anonymity
We present a new remote, coercion-free electronic voting protocol which satisfies a number of properties previously considered contradictory. We introduce (and justify) the idea ...
Matt Smart, Eike Ritter
MKM
2009
Springer
16 years 1 months ago
Natural Deduction Environment for Matita
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
Claudio Sacerdoti Coen, Enrico Tassi
CEEMAS
2005
Springer
16 years 1 days ago
A Self-configuring Agent-Based Document Indexing System
This paper describes an extensible and scalable approach to indexing documents that is utilized within the Highly Organised Team of Agents for Information Retrieval (HOTAIR) archit...
Liu Peng, Rem W. Collier, Angel Mur, David Lillis,...
ECIS
2004
15 years 8 months ago
Hungarian IT: Coping with Economic Transition and Globalisation
This paper examines the impact of economic transition on the information technology industry in Hungary. It highlights some of the challenges faced by policy makers and businesses...
G. Harindranath
VMV
2001
120views Visualization» more  VMV 2001»
15 years 7 months ago
Multiresolution Isosurface Fitting on a Surface Octree
The Surface Octree (SO) is an extension of the Classical Octree used to maintain a decimated codification of a surface while preserving volume data information. Constrained by a r...
Imma Boada, Isabel Navazo