Sciweavers

1933 search results - page 120 / 387
» A Dynamic Theory of Ontology
Sort
View
110
Voted
ENTCS
2002
112views more  ENTCS 2002»
15 years 14 days ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
122
Voted
DM
2011
158views Education» more  DM 2011»
14 years 4 months ago
A survey of homogeneous structures
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
Dugald Macpherson
100
Voted
CDC
2009
IEEE
165views Control Systems» more  CDC 2009»
15 years 5 months ago
Achieving symmetric Pareto Nash equilibria using biased replicator dynamics
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
Kiran Somasundaram, John S. Baras
85
Voted
IGPL
2010
110views more  IGPL 2010»
14 years 11 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
LREC
2010
211views Education» more  LREC 2010»
15 years 2 months ago
EcoLexicon: An Environmental TKB
EcoLexicon, a multilingual knowledge resource on the environment, provides an internally coherent information system covering a wide range of specialized linguistic and conceptual...
Arianne Reimerink, Pilar León Araúz,...