8838 search results - page 435 / 1768 » Generalizing Domain Theory |
142
click to vote
TIT
1998
15 years 7 months ago
1998
We explore some basic properties of coding theory of a general quantum communication channel and its operational capacity, including (1) adaptive measurement with feedback code, (...
210
click to vote
CVPR
1996
IEEE
16 years 9 months ago
1996
IEEE
This paper presents a general formulation enabling determination of all functions that are steerable under any transformation group. These steerable functions are determinedunique...
174
click to vote
STOC
2006
ACM
16 years 8 months ago
2006
ACM
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...
207
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
185
click to vote
LATA
2010
Springer
16 years 5 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...