Sciweavers

1358 search results - page 109 / 272
» Semantic Group Formation
Sort
View
142
Voted
FMCO
2005
Springer
15 years 10 months ago
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
KI
1997
Springer
15 years 9 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
140
Voted
LREC
2010
149views Education» more  LREC 2010»
15 years 6 months ago
A Large Coverage Verb Taxonomy for Arabic
In this article I present a lexicon for Arabic verbs which exploits Levin's verb-classes (Levin, 1993) and the basic development procedure used by (Schuler, 2005). The verb l...
Jaouad Mousser
156
Voted
RIAO
2004
15 years 6 months ago
Integrating XLink and XPath to Retrieve Structured Multimedia Documents in Digital Libraries
To support the retrieval of multimedia data according to user information needs, multimedia information retrieval in digital libraries must be based on semantics and not just prim...
Zhigang Kong, Mounia Lalmas
147
Voted
UAI
1994
15 years 6 months ago
A Logic for Default Reasoning About Probabilities
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
Manfred Jaeger