3207 search results - page 539 / 642 » A Semantics for HTN Methods |
136
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
207
click to vote
IDEAS
2009
IEEE
16 years 27 days ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
155
click to vote
CIKM
2009
Springer
16 years 25 days ago
2009
Springer
On photo sharing websites like Flickr and Zooomr, users are offered the possibility to assign tags to their uploaded pictures. Using these tags to find interesting groups of sem...
160
click to vote
CIVR
2009
Springer
16 years 25 days ago
2009
Springer
This paper presents a content-based approach for understanding handball videos. Tracked players are characterized by their 2D trajectories in the court plane. The trajectories and...
148
click to vote
FSEN
2009
Springer
16 years 25 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...