Sciweavers

3001 search results - page 323 / 601
» Recursive type generativity
Sort
View
VLDB
2001
ACM
92views Database» more  VLDB 2001»
15 years 11 months ago
Fast Evaluation Techniques for Complex Similarity Queries
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
Klemens Böhm, Michael Mlivoncic, Hans-Jö...
ICRA
2000
IEEE
236views Robotics» more  ICRA 2000»
15 years 11 months ago
A General Learning Approach to Multisensor Based Control using Statistic Indices
We propose a concept for integrating multiple sensors in real-time robot control. To increase the controller robustness under diverse uncertainties, the robot systematically gener...
Yorck von Collani, Markus Ferch, Jianwei Zhang, Al...
ESOP
1999
Springer
15 years 11 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
IWMM
1998
Springer
153views Hardware» more  IWMM 1998»
15 years 10 months ago
Compiler Support to Customize the Mark and Sweep Algorithm
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
Dominique Colnet, Philippe Coucaud, Olivier Zendra
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 10 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi