Sciweavers

1933 search results - page 119 / 387
» A Dynamic Theory of Ontology
Sort
View
CJ
2010
105views more  CJ 2010»
14 years 10 months ago
Efficient Semantic Information Exchange for Ambient Intelligence
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
CAISE
2009
Springer
15 years 4 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi
100
Voted
SEFM
2003
IEEE
15 years 6 months ago
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
CADE
1999
Springer
15 years 5 months ago
A dynamic programming approach to categorial deduction
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
Philippe de Groote
81
Voted
AUTOMATICA
2007
81views more  AUTOMATICA 2007»
15 years 24 days ago
Modelling TCP congestion control dynamics in drop-tail environments
In this paper we study communication networks that employ drop-tail queueing and additive-increase multiplicative-decrease (AIMD) congestion control algorithms. We show that the t...
Robert Shorten, Chris King, Fabian Wirth, Douglas ...