1941 search results - page 330 / 389 » Reasoning about Computations Using Two-Levels of Logic |
150
click to vote
BMCBI
2010
15 years 24 days ago
2010
Background: The preprocessing of gene expression data obtained from several platforms routinely includes the aggregation of multiple raw signal intensities to one expression value...
131
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
In multiagent settings where the agents have different preferences, preference aggregation is a central issue. Voting is a general method for preference aggregation, but seminal r...
157
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...
125
click to vote
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
109
click to vote
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...