Sciweavers

1151 search results - page 191 / 231
» A Requirements Negotiation Model Based on Multi-Criteria Ana...
Sort
View
DSN
2007
IEEE
15 years 8 months ago
On the Quality of Service of Crash-Recovery Failure Detectors
In this paper, we study and model a crash-recovery target and its failure detector’s probabilistic behavior. We extend Quality of Service (QoS) metrics to measure the recovery d...
Tiejun Ma, Jane Hillston, Stuart Anderson
ICMCS
2006
IEEE
134views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Motion Segmentation of 3D Video using Modified Shape Distribution
In this paper, temporal segmentation of 3D video based on motion analysis is presented. 3D video is a sequence of 3D models made for a real-world dynamic object. A modified shape ...
Toshihiko Yamasaki, Kiyoharu Aizawa
CEC
2005
IEEE
15 years 7 months ago
Dynamic niching in evolution strategies with covariance matrix adaptation
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiï¬...
Ofer M. Shir, Thomas Bäck
FMCAD
2000
Springer
15 years 5 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
BMCBI
2008
115views more  BMCBI 2008»
15 years 2 months ago
Systems biology driven software design for the research enterprise
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...