1064 search results - page 56 / 213 » Disjoint Systems (Extended Abstract) |
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
ECAI
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
WSC
2008
13 years 10 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...