3281 search results - page 448 / 657 » An Approach to use Executable Models for Testing |
156
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
221
Voted
TPDS
2010
15 years 25 days ago
2010
Predicting grid performance is a complex task because heterogeneous resource nodes are involved in a distributed environment. Long execution workload on a grid is even harder to pr...
185
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
142
click to vote
INTERACT
2007
15 years 7 months ago
2007
This paper proposes a novel approach to modeling the diversity in users’ perceptions, based on a mixture of qualitative and quantitative techniques: the Repertory Grid Technique ...
162
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We present an algebraic solution to direct registration of diffusion tensor images under various local deformation models. We show how to linearly recover the deformation from the...