Sciweavers

5404 search results - page 184 / 1081
» Global Computing for Bioinformatics
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
15 years 4 months ago
Monads and Adjunctions for Global Exceptions
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
Paul Blain Levy
113
Voted
SIAMJO
2008
100views more  SIAMJO 2008»
15 years 4 months ago
On the Global Solution of Linear Programs with Linear Complementarity Constraints
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...
Jing Hu, John E. Mitchell, Jong-Shi Pang, Kristin ...
RAS
2002
247views more  RAS 2002»
15 years 4 months ago
Reference scan matching for global self-localization
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
Joachim Weber, Lutz Franken, Klaus-Werner Jör...
SIAMIS
2010
167views more  SIAMIS 2010»
14 years 11 months ago
Global Solutions of Variational Models with Convex Regularization
Abstract. We propose an algorithmic framework for computing global solutions of variational models with convex regularity terms that permit quite arbitrary data terms. While the mi...
Thomas Pock, Daniel Cremers, Horst Bischof, Antoni...
KIVS
2005
Springer
15 years 10 months ago
Globale Referenzen basierend auf SOAP
Abstract: SOAP wurde als leichtgewichtiges Protokoll zum Austausch von strukturierten Informationen in einer verteilten Umgebung konzipiert und bildet so die Basis der ” Web Serv...
Gerhard Austaller, Eric Roth