Sciweavers

375 search results - page 14 / 75
» Making Abstract Machines Less Abstract
Sort
View
74
Voted
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
15 years 4 months ago
Integrated Design Methodology for an Automated Transportation System in a Seaport Terminal
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
Satoshi Hoshino, Jun Ota
ECML
2006
Springer
15 years 2 months ago
Transductive Gaussian Process Regression with Automatic Model Selection
Abstract. In contrast to the standard inductive inference setting of predictive machine learning, in real world learning problems often the test instances are already available at ...
Quoc V. Le, Alexander J. Smola, Thomas Gärtne...
PPOPP
1993
ACM
15 years 2 months ago
LogP: Towards a Realistic Model of Parallel Computation
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
David E. Culler, Richard M. Karp, David A. Patters...
EUROSYS
2010
ACM
15 years 7 months ago
The Next 700 BFT Protocols
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, ...
COLT
2010
Springer
14 years 8 months ago
Characterization of Linkage-based Clustering
Clustering is a central unsupervised learning task with a wide variety of applications. Not surprisingly, there exist many clustering algorithms. However, unlike classification ta...
Margareta Ackerman, Shai Ben-David, David Loker