Sciweavers

4592 search results - page 355 / 919
» Framework for Studying Substitution
Sort
View
ISBI
2004
IEEE
16 years 8 months ago
Non-Rigid Image Transformation for Assessing Changes in Fluorescence Imaging Data of Molecular Activity in Time-Dependent Geomet
This paper presents an image processing framework for assessing molecular activity changes from fluorescent data in time-dependent geometries. The aim of our work is to provide th...
Kostas Marias, Stelios C. Orphanoudakis, Jorge Rip...
CADE
2008
Springer
16 years 8 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
PODS
2004
ACM
115views Database» more  PODS 2004»
16 years 7 months ago
Foundations of Semantic Web Databases
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
Claudio Gutiérrez, Carlos A. Hurtado, Alber...
EWSN
2006
Springer
16 years 7 months ago
Power Management for Bluetooth Sensor Networks
Low power is a primary concern in the field of wireless sensor networks. Bluetooth has often been labeled as an inappropriate technology in this field due to its high power consump...
Luca Negri, Lothar Thiele
ICWS
2009
IEEE
16 years 4 months ago
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
Sidney Rosario, Albert Benveniste, Claude Jard