3928 search results - page 645 / 786 » order 2006 |
202
click to vote
ENTCS
2006
15 years 7 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
268
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
183
click to vote
EOR
2006
15 years 7 months ago
2006
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
187
Voted
CAD
2007
Springer
15 years 7 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
197
click to vote
FGCS
2006
15 years 7 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...