7452 search results - page 1155 / 1491 » A Semantics for Multiprocessor Systems |
175
click to vote
WEBI
2007
Springer
16 years 26 days ago
2007
Springer
Implicitly structured content on the Web such as HTML tables and lists can be extremely valuable for web search, question answering, and information retrieval, as the implicit str...
179
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
193
click to vote
CSFW
2006
IEEE
16 years 25 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...
151
click to vote
IAT
2006
IEEE
16 years 25 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
209
Voted
ICALT
2006
IEEE
16 years 25 days ago
2006
IEEE
Generally speaking, in the e-learning systems, a course is modeled as a graph, where each node represents a knowledge node (KU) and two nodes are connected to form a semantic netw...