1223 search results - page 153 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
151
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
110
click to vote
WADT
1997
Springer
15 years 5 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
110
click to vote
SLP
1994
15 years 2 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
123
click to vote
IDEAS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
110
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
— Many modern computer vision algorithms are built atop of a set of low-level feature operators (such as SIFT [1], [2]; HOG [3], [4]; or LBP [5], [6]) that transform raw pixel va...