Sciweavers

2446 search results - page 250 / 490
» First Smart Spaces
Sort
View
145
Voted
JGO
2008
83views more  JGO 2008»
15 years 4 months ago
Computations with disjunctive cuts for two-stage stochastic mixed 0-1 integer programs
Two-stage stochastic mixed-integer programming (SMIP) problems with recourse are generally difficult to solve. This paper presents a first computational study of a disjunctive cut...
Lewis Ntaimo, Matthew W. Tanner
JMIV
2008
69views more  JMIV 2008»
15 years 4 months ago
Transport of Relational Structures in Groups of Diffeomorphisms
This paper focuses on the issue of translating the relative variation of one shape with respect to another in a template centered representation. The context is the theory of Diffe...
Laurent Younes, Anqi Qiu, Raimond L. Winslow, Mich...
JAT
2006
69views more  JAT 2006»
15 years 4 months ago
Almost periodic Verblunsky coefficients and reproducing kernels on Riemann surfaces
We give an explicit parametrization of a set of almost periodic CMV matrices whose spectrum (is equal to the absolute continuous spectrum and) is a homogenous set E lying on the u...
Franz Peherstorfer, P. Yuditskii
ENTCS
2007
75views more  ENTCS 2007»
15 years 4 months ago
Testing Planning Domains (without Model Checkers)
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
Franco Raimondi, Charles Pecheur, Guillaume Brat
122
Voted
MONET
2008
153views more  MONET 2008»
15 years 4 months ago
Comparison of MANET Routing Protocols Using a Scaled Indoor Wireless Grid
Predicting the performance of ad-hoc networking protocols has typically been performed by making use of software based simulation tools. Experimental study and validation of such p...
David Johnson, Albert Lysko