1645 search results - page 140 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
169
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
183
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
190
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
176
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
164
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...