Sciweavers

3557 search results - page 544 / 712
» Authoring Presentation for OpenMath
Sort
View
ADC
2004
Springer
141views Database» more  ADC 2004»
15 years 10 months ago
Conflict Scheduling of Transactions on XML Documents
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...
Stijn Dekeyser, Jan Hidders
AUSAI
2006
Springer
15 years 10 months ago
MML Mixture Models of Heterogeneous Poisson Processes with Uniform Outliers for Bridge Deterioration
Effectiveness of maintenance programs of existing concrete bridges is highly dependent on the accuracy of the deterioration parameters utilised in the asset management models of th...
T. Maheswaran, J. G. Sanjayan, David L. Dowe, Pete...
DATE
2004
IEEE
139views Hardware» more  DATE 2004»
15 years 10 months ago
Efficient Implementations of Mobile Video Computations on Domain-Specific Reconfigurable Arrays
Mobile video processing as defined in standards like MPEG-4 and H.263 contains a number of timeconsuming computations that cannot be efficiently executed on current hardware archi...
Sami Khawam, Sajid Baloch, Arjun Pai, Imran Ahmed,...
CRYPTO
2006
Springer
112views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Receipt-Free Universally-Verifiable Voting with Everlasting Privacy
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
Tal Moran, Moni Naor
EUPROJECTS
2006
Springer
15 years 10 months ago
Applying the MVC Pattern to Generated User Interfaces with a Focus on Audio
The mobile user can interact with devices in the environment using either the devices themselves or a device she carries with her. This requires an adaption of the user interface t...
Dirk Schnelle, Tobias Klug