3082 search results - page 583 / 617 » Deviation Analysis: A New Use of Model Checking |
102
click to vote
NN
2008
Springer
14 years 11 months ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
BMCBI
2005
14 years 11 months ago
2005
Background: One important application of microarray experiments is to identify differentially expressed genes. Often, small and negative expression levels were clipped-off to be e...
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
In contrast with the current Web search methods that essentially do document-level ranking and retrieval, we are exploring a new paradigm to enable Web search at the object level....
100
click to vote
GMP
2006
IEEE
15 years 5 months ago
2006
IEEE
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...