2095 search results - page 192 / 419 » Improved pebbling bounds |
145
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
116
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
We give some variants of a new construction for caps. As an application of these constructions we obtain a 1216?cap in PG(9, 3) a 6464?cap in PG(11, 3) and several caps in ternary...
144
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
168
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose a 3D reconstruction algorithm by combining shape from silhouette with stereo. Visual hull of the object is first derived from multi-view silhouette image...
192
click to vote
ECRTS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a multiprocessor scheduling framework for integrating hard and soft real-time tasks and best-effort jobs. This framework allows for full system utilization, and ensures...