3082 search results - page 453 / 617 » Deviation Analysis: A New Use of Model Checking |
182
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
171
click to vote
AAAI
2011
14 years 6 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
200
click to vote
TCBB
2008
15 years 6 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
183
click to vote
DASFAA
2005
IEEE
15 years 12 months ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...
204
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...