2714 search results - page 339 / 543 » Model comparison with GenericDiff |
190
click to vote
FGCS
2008
15 years 6 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
138
click to vote
ESWA
2006
15 years 6 months ago
2006
Predicting box-office receipts of a particular motion picture has intrigued many scholars and industry leaders as a difficult and challenging problem. In this study, the use of ne...
182
click to vote
FGCS
2006
15 years 6 months ago
2006
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...
171
click to vote
IJON
2008
15 years 6 months ago
2008
The dynamical behavior and the stability properties of fixed points in a feedback auto-associative memory are investigated. The proposed structure encompasses a multi-layer percep...