Sciweavers

4934 search results - page 633 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
132
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
AHS
2007
IEEE
262views Hardware» more  AHS 2007»
15 years 5 months ago
A Reed-Solomon Algorithm for FPGA Area Optimization in Space Applications
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...
Gabriel Marchesan Almeida, Eduardo Augusto Bezerra...
114
Voted
EGC
2005
Springer
15 years 9 months ago
Workflow Management in the CrossGrid Project
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
Anna Morajko, Enol Fernández, Alvaro Fern&a...
136
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
Context-Dependent Access Control for Contextual Information
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
Christin Groba, Stephan Grob, Thomas Springer
132
Voted
VRML
1999
ACM
15 years 8 months ago
Avatars in LivingSpace
We describe how we implemented the avatars we use to represent users in LivingSpace, our implementation of the Living Worlds standard for multi-user distributed VRML worlds. Livin...
Mike Wray, Vincent Belrose