3207 search results - page 499 / 642 » A Semantics for HTN Methods |
136
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
161
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
136
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
Site maps are frequently provided on Web sites as a navigation support for Web users. The automatic generation of site maps is a complex task since the structure of the data, sema...
122
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
135
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...