Sciweavers

7557 search results - page 632 / 1512
» Constraints as a design pattern
Sort
View
WABI
2007
Springer
16 years 1 months ago
Bringing Folding Pathways into Strand Pairing Prediction
Abstract. The topology of β-sheets is defined by the pattern of hydrogenbonded strand pairing. Therefore, predicting hydrogen bonded strand partners is a fundamental step towards...
Jieun K. Jeong, Piotr Berman, Teresa M. Przytycka
WSFM
2007
Springer
16 years 1 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
WWIC
2007
Springer
194views Communications» more  WWIC 2007»
16 years 1 months ago
Distributed Event Localization and Tracking with Wireless Sensors
In this paper we present the distributed event localization and tracking algorithm DELTA that solely depends on light measurements. Based on this information and the positions of t...
Markus Wälchli, Piotr Skoczylas, Michael Meer...
3DIM
2005
IEEE
16 years 1 months ago
An Improved Calibration Technique for Coupled Single-Row Telemeter and CCD Camera
Toward a successful 3D and textural reconstruction of urban scenes, the use of both single-row based telemetric and photographic data in a same framework has proved to be a powerf...
Romain Dupont, Renaud Keriven, Philippe Fuchs
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
16 years 1 months ago
Controlling Swarms of Robots Using Interpolated Implicit Functions
— We address the synthesis of controllers for large groups of robots and sensors, tackling the specific problem of controlling a swarm of robots to generate patterns specified ...
Luiz Chaimowicz, Nathan Michael, Vijay Kumar