Sciweavers

4894 search results - page 650 / 979
» Dynamic Abstraction Planning
Sort
View
WOLLIC
2009
Springer
16 years 1 months ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider
172
Voted
BRAIN
2009
Springer
16 years 1 months ago
Modelling the Reciprocal Interaction between Believing and Feeling from a Neurological Perspective
Abstract. By adopting neurological theories on the role of emotions and feelings, an agent model is introduced incorporating the reciprocal interaction between believing and feelin...
Zulfiqar A. Memon, Jan Treur
COMPLEX
2009
Springer
16 years 1 months ago
Phase Transition of Active Rotators in Complex Networks
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...
Seung-Woo Son, Hawoong Jeong, Hyunsuk Hong
DEXA
2009
Springer
151views Database» more  DEXA 2009»
16 years 1 months ago
Detecting Projected Outliers in High-Dimensional Data Streams
Abstract. In this paper, we study the problem of projected outlier detection in high dimensional data streams and propose a new technique, called Stream Projected Ouliter deTector ...
Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai X...
ESWS
2009
Springer
16 years 1 months ago
Ontology Evolution with Evolva
Abstract. Ontology evolution is a painstaking and time-consuming process, especially in information rich and dynamic domains. While ontology evolution refers both to the adaptation...
Fouad Zablith, Marta Sabou, Mathieu d'Aquin, Enric...