1223 search results - page 138 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
150
click to vote
MASCOTS
2001
15 years 7 months ago
2001
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...
166
click to vote
VISSYM
2004
15 years 7 months ago
2004
In volume visualization, users typically specify transfer functions to classify the data and assign visual attributes to each material class. Higher-dimensional classification mak...
158
click to vote
AAAI
2000
15 years 7 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
198
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
: The concept of "social role" has long been used in social science describe the intersection of behavioral, meaningful, and structural attributes that emerge regularly i...
150
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...