3429 search results - page 558 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
175
click to vote
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
154
Voted
IPM
2007
15 years 2 months ago
2007
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
133
Voted
AAAI
2007
15 years 4 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
114
click to vote
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
116
click to vote
AAAI
2008
15 years 4 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...