Sciweavers

2713 search results - page 82 / 543
» Parameterized Tree Systems
Sort
View
122
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 26 days ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
114
Voted
DAWAK
2005
Springer
15 years 6 months ago
DWEB: A Data Warehouse Engineering Benchmark
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
Jérôme Darmont, Omar Boussaid, Fadila...
MT
2006
106views more  MT 2006»
15 years 22 days ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
ICRA
2000
IEEE
85views Robotics» more  ICRA 2000»
15 years 5 months ago
Using Haptic Vector Fields for Animation Motion Control
We are exploring techniques for animation authoring and editing using a haptic force-feedback device. In our system, a family of animations is encoded by a bundle of trajectories....
Bruce Randall Donald, Frederick Henle
UML
2000
Springer
15 years 4 months ago
Precise Modeling of Design Patterns
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
Alain Le Guennec, Gerson Sunyé, Jean-Marc J...