7288 search results - page 142 / 1458 » On process rate semantics |
152
click to vote
PACT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
206
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Compressive sensing and processing of radar waveforms enables high-resolution tracking while using low sampling rates and inexpensive processing. Compressive processing, however, ...
152
Voted
STOC
1997
ACM
15 years 10 months ago
1997
ACM
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
208
click to vote
MIE
2008
15 years 7 months ago
2008
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
159
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Coordinated multi-point transmission/reception (CoMP), in which base stations (BSs) cooperate during the downlink, has been identified as a tool for improving user rates and mi...