3207 search results - page 456 / 642 » A Semantics for HTN Methods |
131
click to vote
XSYM
2007
Springer
16 years 15 days ago
2007
Springer
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
180
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
166
click to vote
ICMCS
2006
IEEE
16 years 13 days ago
2006
IEEE
In this work we present a novel two-layer hybrid Graphical model for combined shot and scene boundary detection in videos. In the first layer of the model, low-level features are...
146
click to vote
ISM
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
170
click to vote
WCRE
2006
IEEE
16 years 12 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...