11436 search results - page 510 / 2288 » Modeling Real Reasoning |
185
Voted
EOR
2007
15 years 6 months ago
2007
In this paper is presented a new model for data clustering, which is inspired from the selfassembly behavior of real ants. Real ants can build complex structures by connecting the...
135
click to vote
CEEMAS
2005
Springer
16 years 8 days ago
2005
Springer
Typical interaction models as addressed messages present several pitfalls. To overcome these limits, new interactional models close to the concept of mutual awareness have been pro...
183
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a study into all-pole spectral envelope estimation for the case of harmonic signals. We address the problem of the selection of the model order and propose to make use ...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
184
Voted
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...