2688 search results - page 148 / 538 » A formal semantics for P3P |
151
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
158
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
205
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
174
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
221
click to vote
APSEC
2007
IEEE
16 years 25 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...