1636 search results - page 182 / 328 » Reasoning About Quantum Systems |
191
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
191
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
185
click to vote
FLAIRS
2008
15 years 8 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
164
click to vote
WSC
2007
15 years 8 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
166
click to vote
DIM
2007
ACM
15 years 10 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...