22114 search results - page 286 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
200
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
190
click to vote
WSC
2001
15 years 8 months ago
2001
Semiconductor manufacturing is generally considered a cyclic industry. As such, individual producers able to react quickly and appropriately to market conditions will have a compe...
282
click to vote
CVIU
2011
14 years 10 months ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
171
click to vote
IWINAC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Due to the lot of different Genetic Algorithm variants, encodings, and attacked problems, very little general theory is available to explain the internal functioning of ...
179
click to vote
APGV
2007
ACM
15 years 11 months ago
2007
ACM
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...