463 search results - page 29 / 93 » Method Tailoring as Negotiation |
ICDCS
2005
IEEE
14 years 3 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
FATES
2003
Springer
14 years 3 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
EPS
1995
Springer
14 years 1 months ago
1995
Springer
An extension of the evolution strategy for mixed-integer optimizationproblems is introduced. The resulting generalized evolution strategy is applied to the problem of optical mult...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
We propose a method for compiling bilingual terminologies of multi-word terms (MWTs) for given translation pairs of seed terms. Traditional methods for bilingual terminology compi...
IVC
2008
13 years 9 months ago
2008
In this work, we propose an original method of resolution of the shape from shading problem, which is accurate and converges with a few iterations. It relies on two simple ideas. ...