1788 search results - page 196 / 358 » Model Theory for Process Algebra |
207
click to vote
PLPV
2011
ACM
14 years 6 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
152
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Semi-supervised learning (SSL), is classification where additional unlabeled data can be used to improve accuracy. Generative approaches are appealing in this situation, as a mode...
135
click to vote
JASIS
2008
15 years 3 months ago
2008
mation science has shown that human abstractors extract sentences for summaries based on the hierarchical structure of documents; however, the existing automatic summarization mode...
147
click to vote
CACM
1998
15 years 3 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
131
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...