Sciweavers

1096 search results - page 95 / 220
» A New Approach for Speeding Up Enumeration Algorithms
Sort
View
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
15 years 11 months ago
Schema Validation and Type Annotation for Encoded Trees
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
Torsten Grust, Stefan Klinger
EURODAC
1990
IEEE
92views VHDL» more  EURODAC 1990»
15 years 10 months ago
Accelerated test pattern generation by cone-oriented circuit partitioning
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...
Torsten Grüning, Udo Mahlstedt, Wilfried Daeh...
CCIA
2008
Springer
15 years 8 months ago
The SLAM problem: a survey
This paper surveys the most recent published techniques in the field of Simultaneous Localization and Mapping (SLAM). In particular it is focused on the existing techniques availab...
Josep Aulinas, Yvan R. Petillot, Joaquim Salvi, Xa...
BCS
2008
15 years 7 months ago
A Hardware Relaxation Paradigm for Solving NP-Hard Problems
Digital circuits with feedback loops can solve some instances of NP-hard problems by relaxation: the circuit will either oscillate or settle down to a stable state that represents...
Paul Cockshott, Andreas Koltes, John O'Donnell, Pa...
GRAPHICSINTERFACE
2008
15 years 7 months ago
Single-pass GPU solid voxelization for real-time applications
In this paper, we present a single-pass technique to voxelize the interior of watertight 3D models with high resolution grids in realtime during a single rendering pass. Further, ...
Elmar Eisemann, Xavier Décoret