Sciweavers

3384 search results - page 514 / 677
» More Testable Properties
Sort
View
IEE
2008
117views more  IEE 2008»
13 years 9 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
IVC
2007
72views more  IVC 2007»
13 years 9 months ago
A sensitivity analysis method and its application in physics-based nonrigid motion modeling
Parameters used in physical models for nonrigid and articulated motion analysis are often not known with high precision. It has been recognized that commonly used assumptions abou...
Yong Zhang, Dmitry B. Goldgof, Sudeep Sarkar, Leon...
ML
2007
ACM
106views Machine Learning» more  ML 2007»
13 years 9 months ago
Surrogate maximization/minimization algorithms and extensions
Abstract Surrogate maximization (or minimization) (SM) algorithms are a family of algorithms that can be regarded as a generalization of expectation-maximization (EM) algorithms. A...
Zhihua Zhang, James T. Kwok, Dit-Yan Yeung
MONET
2007
132views more  MONET 2007»
13 years 9 months ago
QUORUM - Quality of Service in Wireless Mesh Networks
Abstract Wireless mesh networks (WMNs) can provide seamless broadband connectivity to network users with low setup and maintenance costs. To support nextgeneration applications wit...
Vinod Kone, Sudipto Das, Ben Y. Zhao, Haitao Zheng
MOR
2007
100views more  MOR 2007»
13 years 9 months ago
On Scheduling Fees to Prevent Merging, Splitting, and Transferring of Jobs
A deterministic server is shared by users with identical linear waiting costs, requesting jobs of arbitrary lengths. Shortest jobs are served first for efficiency. The server can...
Hervé Moulin