7123 search results - page 203 / 1425 » The Ordered Set of Rough Sets |
193
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
170
click to vote
ICCV
2005
IEEE
16 years 4 days ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
183
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
179
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
203
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...