Sciweavers

5404 search results - page 883 / 1081
» Global Computing for Bioinformatics
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 11 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
CDC
2008
IEEE
145views Control Systems» more  CDC 2008»
15 years 11 months ago
Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance
— In this paper we consider state estimation carried over a sensor network. A fusion center forms a local multi-hop tree of sensors and gateways and fuses the data into a state e...
Ling Shi, Karl Henrik Johansson, Richard M. Murray
141
Voted
CISS
2008
IEEE
15 years 11 months ago
Frames in bioimaging
We survey our work on adaptive multiresolution (MR) approaches to the classification of biological images. The system adds MR decomposition in front of a generic classifier cons...
Amina Chebira, Jelena Kovacevic
ICCCN
2008
IEEE
15 years 11 months ago
LocSens - An Indoor Location Tracking System using Wireless Sensors
—Ubiquitous and pervasive computing envisions context-aware systems that gather real world information from many fixed and mobile microchips and sensors integrated in everyday o...
Faruk Bagci, Florian Kluge, Nader Bagherzadeh, The...
ICIP
2008
IEEE
15 years 11 months ago
Breast contour detection with shape priors
Breast cancer conservative treatment (BCCT) is considered the gold standard of breast cancer treatment. However, aesthetic results are heterogeneous and difficult to evaluate in ...
Ricardo Sousa, Jaime S. Cardoso, Joaquim F. Pinto ...