1645 search results - page 272 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
164
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
149
click to vote
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
136
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
Abstract We study ways to restrict or prevent the damage that can be caused in a peer-to-peer network by corrupt entities creating multiple pseudonyms. We show that it is possible ...
175
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
170
click to vote
PREMI
2005
Springer
15 years 11 months ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...