Sciweavers

2539 search results - page 72 / 508
» Debugging Method Names
Sort
View
CW
2002
IEEE
15 years 7 months ago
A Practical Image Retouching Method
In this paper, we present a novel fast algorithmfor image retouching. A space-mapping technique is used to transform a missing (or damaged) part of a surface into a different shap...
Vladimir V. Savchenko, Nikita Kojekine, Hiroshi Un...
CONCUR
2001
Springer
15 years 6 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
TABLEAUX
1997
Springer
15 years 6 months ago
Tableau Methods for PA-Processes
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
Richard Mayr
ACNS
2010
Springer
145views Cryptology» more  ACNS 2010»
15 years 5 months ago
A Hybrid Method to Detect Deflation Fraud in Cost-Per-Action Online Advertising
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...
Xuhua Ding
COLING
2008
15 years 3 months ago
Coreference Systems Based on Kernels Methods
Various types of structural information e.g., about the type of constructions in which binding constraints apply, or about the structure of names - play a central role in corefere...
Yannick Versley, Alessandro Moschitti, Massimo Poe...