3238 search results - page 593 / 648 » On the Computational Interpretation of Negation |
170
click to vote
CONCUR
2009
Springer
16 years 22 days ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
163
click to vote
DFG
2009
Springer
16 years 22 days ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
198
click to vote
MHCI
2009
Springer
16 years 21 days ago
2009
Springer
Information empowers those who make sense from its successful interpretation; this is especially true on the subject of weather where the recipient is required to have prior forms...
170
click to vote
SG
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
182
click to vote
TLCA
2009
Springer
16 years 21 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...