Sciweavers

3040 search results - page 144 / 608
» Independent Natural Extension
Sort
View
123
Voted
CI
2004
125views more  CI 2004»
15 years 20 days 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
90
Voted
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 19 days 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...
104
Voted
DAM
1998
61views more  DAM 1998»
15 years 14 days 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
92
Voted
TIP
1998
109views more  TIP 1998»
15 years 13 days 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
115
Voted
ENTCS
2008
97views more  ENTCS 2008»
14 years 11 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