Sciweavers

451 search results - page 42 / 91
» Relationless Completeness and Separations
Sort
View
ITRUST
2005
Springer
15 years 3 months ago
Interactive Credential Negotiation for Stateful Business Processes
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
Hristo Koshutanski, Fabio Massacci
EGH
2004
Springer
15 years 3 months ago
A hierarchical shadow volume algorithm
The shadow volume algorithm is a popular technique for real-time shadow generation using graphics hardware. Its major disadvantage is that it is inherently fillrate-limited, as t...
Timo Aila, Tomas Akenine-Möller
ICCS
2004
Springer
15 years 3 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
INEX
2004
Springer
15 years 3 months ago
Mixture Models, Overlap, and Structural Hints in XML Element Retrieval
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
ROBOCUP
2004
Springer
85views Robotics» more  ROBOCUP 2004»
15 years 3 months ago
Optimizing Precision of Self-Localization in the Simulated Robotics Soccer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
Vadim Kyrylov, David Brokenshire, Eddie Hou