Sciweavers

23630 search results - page 40 / 4726
» Common Information Model
Sort
View
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 3 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
132
Voted
GW
2009
Springer
169views Biometrics» more  GW 2009»
15 years 1 months ago
Speakers' Use of Interactive Gestures as Markers of Common Ground
This study experimentally manipulates common ground (the knowledge, beliefs and assumptions interlocutors mutually share [6]) and measures the effect on speakers' use of inter...
Judith Holler
AUSAI
1999
Springer
15 years 7 months ago
Computing Least Common Subsumers in Expressive Description Logics
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
Thomas Mantay
ICALP
1990
Springer
15 years 7 months ago
Analytic Variations on the Common Subexpression Problem
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
Philippe Flajolet, Paolo Sipala, Jean-Marc Steyaer...
111
Voted
FTDCS
2003
IEEE
15 years 8 months ago
Looking for a Common View for Mobile Worlds
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
Maria Gradinariu, Michel Raynal, Gwendal Simon