546 search results - page 68 / 110 » An Action Semantics for MML |
140
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
201
click to vote
CSFW
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
201
click to vote
AAAI
2008
15 years 8 months ago
2008
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...
170
click to vote
AIPS
2007
15 years 8 months ago
2007
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
161
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...