77016 search results - page 607 / 15404 » Modelling |
168
click to vote
APAL
2008
15 years 7 months ago
2008
There exists a countable structure M of Scott rank CK 1 where M 1 = CK 1 and where the LCK 1 ,-theory of M is not -categorical. The Scott rank of a model is the least ordinal whe...
171
click to vote
BC
2007
15 years 7 months ago
2007
The paper introduces mirror neuron system II (MNS2), a new version of the MNS model (Oztop and Arbib in Biol Cybern 87(2):116–140, 2002) of action recognition learning by mirror ...
154
click to vote
ENVSOFT
2008
15 years 7 months ago
2008
Water quality modelling in small rivers is often considered unworthy from a practical and economic viewpoint. This paper shows instead that a simple model structure can be set up ...
210
click to vote
ENTCS
2006
15 years 7 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...
189
click to vote
FUIN
2006
15 years 7 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...