3082 search results - page 583 / 617 » Deviation Analysis: A New Use of Model Checking |
139
click to vote
NN
2008
Springer
15 years 3 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...
116
click to vote
BMCBI
2005
15 years 3 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...
127
click to vote
SOSP
2003
ACM
16 years 23 days 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...
119
click to vote
WWW
2005
ACM
16 years 4 months 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....
135
click to vote
GMP
2006
IEEE
15 years 10 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 ...