2129 search results - page 107 / 426 » Cutting-Edge Timing Analysis Techniques |
112
click to vote
PSTV
1992
14 years 11 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
FAC
2010
14 years 8 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
110
click to vote
ISNN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Nonlinear component analysis is a popular nonlinear feature extraction method. It generally uses eigen-decomposition technique to extract the principal components. But th...
175
click to vote
KDD
2012
ACM
13 years 10 days ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
AAAI
2004
14 years 11 months ago
2004
In this paper, we present a general technique for taking forward-chaining planners for deterministic domains (e.g., HSP, TLPlan, TALplanner, and SHOP2) and adapting them to work i...