7066 search results - page 187 / 1414 » Contact Relations with Applications |
159
click to vote
NCA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
139
click to vote
CHES
2005
Springer
15 years 10 months ago
2005
Springer
The Truncated Multiplication computes a truncated product, a contiguous subsequence of the digits of the product of 2 integers. A few truncated polynomial multiplication algorithms...
140
click to vote
PAKDD
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...
124
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
122
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...