Sciweavers

4266 search results - page 435 / 854
» The container loading problem
Sort
View
161
Voted
IPPS
2003
IEEE
15 years 11 months ago
A Message Passing Interface Library for Inhomogeneous Coupled Clusters
Clusters of PC containing mostly general purpose hardware have become more and more usable for high performance computing tasks in the past few years. Clustering existing systems ...
Martin Pöppe, Silke Schuch, Thomas Bemmerl
LICS
2003
IEEE
15 years 11 months ago
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
Nir Piterman, Moshe Y. Vardi
JCDL
2003
ACM
145views Education» more  JCDL 2003»
15 years 11 months ago
Automatic Disambiguation of Latin Abbreviations in Early Modern Texts for Humanities Digital Libraries
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...
Jeffrey A. Rydberg-Cox
ESSMAC
2003
Springer
15 years 11 months ago
Filtered Gaussian Processes for Learning with Large Data-Sets
Kernel-based non-parametric models have been applied widely over recent years. However, the associated computational complexity imposes limitations on the applicability of those me...
Jian Qing Shi, Roderick Murray-Smith, D. M. Titter...
IBPRIA
2003
Springer
15 years 11 months ago
Reconstruction of Quadrics from Two Polarization Views
Abstract. This paper addresses the problem of reconstructing textureless objects of quadric like shape. It is known that a quadric can be uniquely recovered from its apparent conto...
Stefan Rahmann