3235 search results - page 536 / 647 » Partial Redundant Modeling |
109
click to vote
ISPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Identifying and inferring performances of a network topology is a well known problem. Achieving this by using only end-to-end measurements at the application level is a method kno...
124
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
109
click to vote
SEMCO
2008
IEEE
15 years 8 months ago
2008
IEEE
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This p...
182
click to vote
ICAT
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose an advanced visual hull technique to compensate for outliers using reliabilities of the silhouettes. The proposed method consists of a foreground extraction technique b...