14709 search results - page 260 / 2942 » Semantic feature modelling |
172
click to vote
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
169
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
140
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
208
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we propose a probabilistic model for web image mining, which is based on concept-sensitive salient regions without human intervene. Our goal is to achieve a middle-...
194
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...