Sciweavers

2154 search results - page 67 / 431
» On the notion of concept I
Sort
View
ENTCS
2008
97views more  ENTCS 2008»
13 years 10 months ago
POVMs and Naimark's Theorem Without Sums
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
Bob Coecke, Éric Oliver Paquette
JSW
2008
110views more  JSW 2008»
13 years 10 months ago
An Open Approach for the Applied Pi Calculus
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
Han Zhu, Yonggen Gu, Xiaohong Wu
SYNTHESE
2010
99views more  SYNTHESE 2010»
13 years 8 months ago
Vagueness, uncertainty and degrees of clarity
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
Paul Égré, Denis Bonnay
ICCS
2007
Springer
14 years 4 months ago
Reducing the Representation Complexity of Lattice-Based Taxonomies
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...
Sergei O. Kuznetsov, Sergei A. Obiedkov, Camille R...
VIS
2007
IEEE
123views Visualization» more  VIS 2007»
14 years 11 months ago
Multifield Visualization Using Local Statistical Complexity
Modern unsteady (multi-)field visualizations require an effective reduction of the data to be displayed. From a huge amount of information the most informative parts have to be ext...
Heike Jänicke, Alexander Wiebel, Gerik Scheuerm...