1677 search results - page 301 / 336 » On the Completeness of Quantum Computation Models |
115
click to vote
SIGECOM
2009
ACM
15 years 8 months ago
2009
ACM
Voting trees describe an iterative procedure for selecting a single vertex from a tournament. vide a very general abstract model of decision-making among a group of individuals, a...
128
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
VIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract--Scatterplots are well established means of visualizing discrete data values with two data variables as a collection of discrete points. We aim at generalizing the concept...
127
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
115
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...