1791 search results - page 167 / 359 » Two Types of Multiple-Conclusion Systems |
POPL
1994
ACM
14 years 1 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
In this paper we describe the first stage of a new learning system for object detection and recognition. For our system we propose Boosting [5] as the underlying learning technique...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
This paper addresses decentralized multi-project scheduling under uncertainty. The problem instance we study is the scheduling of airport ground handling services, where aircraft ...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
—On-chip power distribution grids with multiple supply voltages are discussed in this paper. Two types of interdigitated and paired power distribution grids with multiple supply ...
DAGSTUHL
2006
13 years 10 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...