75 search results - page 5 / 15 » Test-Case Calculation through Abstraction |
CADE
2004
Springer
14 years 7 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
APN
2010
Springer
14 years 8 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
RSKT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In this paper, we propose an arbitrary scale enlargement method of digital images based on the Laplacian pyramid (LP) representation. Through the calculation of the arb...
IPMU
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...