3207 search results - page 494 / 642 » A Semantics for HTN Methods |
156
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
151
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
144
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
141
click to vote
IUI
2010
ACM
16 years 2 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
126
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
A semantically meaningful image hierarchy can ease the human effort in organizing thousands and millions of pictures (e.g., personal albums), and help to improve performance of en...