Sciweavers

205 search results - page 28 / 41
» Efficient Algorithms for Universal Portfolios
Sort
View
ICFP
2004
ACM
15 years 11 months ago
Numbering matters: first-order canonical forms for second-order recursive types
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
François Pottier, Nadji Gauthier
HYBRID
2000
Springer
15 years 3 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
CG
2004
Springer
14 years 11 months ago
A survey of point-based techniques in computer graphics
In recent years point-based geometry has gained increasing attention as an alternative surface representation, both for efficient rendering and for flexible geometry processing of...
Leif Kobbelt, Mario Botsch
SEAL
1998
Springer
15 years 3 months ago
Automating Space Allocation in Higher Education
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...
Edmund K. Burke, D. B. Varley
ICPR
2000
IEEE
16 years 23 days ago
Tracking Humans from a Moving Platform
Research at the Computer Vision Laboratory at the University of Maryland has focussed on developing algorithms and systems that can look at humans and recognize their activities i...
Larry S. Davis, Vasanth Philomin, Ramani Duraiswam...