Sciweavers

1005 search results - page 37 / 201
» Patterns for Refinement Automation
Sort
View
CRV
2007
IEEE
161views Robotics» more  CRV 2007»
14 years 1 months ago
Dense Stereo Range Sensing with Marching Pseudo-Random Patterns
As an extension to classical structured lighting techniques, the use of bi-dimensional pseudo-random color codes is explored to perform range sensing with variable density from a ...
Danick Desjardins, Pierre Payeur
COMBINATORICS
2006
107views more  COMBINATORICS 2006»
13 years 7 months ago
Matchings Avoiding Partial Patterns and Lattice Paths
In this paper, we consider matchings avoiding partial patterns 1123 and 1132. We give a bijection between 1123-avoiding matchings with n edges and nonnegative lattice paths from (...
Vít Jelínek, Nelson Y. Li, Toufik Ma...
FLOPS
2004
Springer
13 years 11 months ago
Implementing Natural Rewriting and Narrowing Efficiently
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
Santiago Escobar
ICSOC
2004
Springer
14 years 28 days ago
Flexible coordination of service interaction patterns
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
Christian Zirpins, Winfried Lamersdorf, Toby Baier
WIOPT
2010
IEEE
13 years 5 months ago
Flunet: Automated tracking of contacts during flu season
— By analyzing people’s contact patterns over time, it is possible to build efficient delay tolerant networking (DTN) algorithms and derive important data for parameterizing an...
Mohammad S. Hashemian, Kevin G. Stanley, Nathaniel...