1645 search results - page 272 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
179
click to vote
QEST
2005
IEEE
16 years 13 days 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...
165
click to vote
AOSD
2005
ACM
16 years 12 days 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 ...
157
click to vote
PODC
2005
ACM
16 years 12 days 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 ...
198
click to vote
ECSQARU
2005
Springer
16 years 11 days 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...
194
click to vote
PREMI
2005
Springer
16 years 10 days 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...