1582 search results - page 130 / 317 » On Higher-Order Description Logics |
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
112
click to vote
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
113
click to vote
DSVIS
2001
Springer
15 years 2 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
CVPR
2005
IEEE
16 years 3 days ago
2005
IEEE
We introduce the concept of a spatiogram, which is a generalization of a histogram that includes potentially higher order moments. A histogram is a zeroth-order spatiogram, while ...
CGF
2004
14 years 10 months ago
2004
We present Volume dots (Vots), a new primitive for volumetric data modelling, processing, and rendering. Vots are a point-based representation of volumetric data. An individual Vo...