827 search results - page 107 / 166 » Patterns for Timed Property Specifications |
149
click to vote
PR
2010
15 years 1 months ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
170
click to vote
SPAA
1997
ACM
15 years 7 months ago
1997
ACM
Discovery of association rules is an important database mining problem. Mining for association rules involves extracting patterns from large databases and inferring useful rules f...
238
click to vote
MDM
2010
Springer
15 years 8 months ago
2010
Springer
—The support of distributed atomic transactions in mobile ad-hoc networks (MANET) is a key requirement for many mobile application scenarios. Atomicity is a fundamental property ...
128
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
120
click to vote
BMCBI
2010
2010
Towards the systematic discovery of signal transduction networks using phosphorylation dynamics data
15 years 3 months ago
Background: Phosphorylation is a ubiquitous and fundamental regulatory mechanism that controls signal transduction in living cells. The number of identified phosphoproteins and th...