Sciweavers

3040 search results - page 144 / 608
» Independent Natural Extension
Sort
View
CI
2004
125views more  CI 2004»
13 years 10 months ago
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
Tran Cao Son, Enrico Pontelli
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 10 months ago
Ellogon: A New Text Engineering Platform
This paper presents Ellogon, a multi-lingual, cross-platform, general-purpose text engineering environment. Ellogon was designed in order to aid both researchers in natural langua...
Georgios Petasis, Vangelis Karkaletsis, Georgios P...
DAM
1998
61views more  DAM 1998»
13 years 10 months ago
On Trees and Noncrossing Partitions
We give a simple and natural proof of (an extension of) the identity P(k, l, n) = P2(k − 1, l − 1, n − 1). The number P(k, l, n) counts noncrossing partitions of {1, 2, . . ...
Martin Klazar
TIP
1998
109views more  TIP 1998»
13 years 10 months ago
A general framework for low level vision
—We introduce a new geometrical framework based on which natural flows for image scale space and enhancement are presented. We consider intensity images as surfaces in the (x; I...
Nir A. Sochen, Ron Kimmel, Ravi Malladi
ENTCS
2008
97views more  ENTCS 2008»
13 years 9 months ago
Coordination Models Orc and Reo Compared
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
José Proença, Dave Clarke