1948 search results - page 300 / 390 » Formalizing Mirror Theory |
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
ICNP
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper targets the problem of optimal resource allocation in overlay multicast, which poses both theoretical and practical challenges. Theoretically, resource allocation among...
IEEEICCI
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...