8838 search results - page 1371 / 1768 » Generalizing Domain Theory |
179
click to vote
TAICPART
2006
IEEE
16 years 25 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
189
click to vote
ACCV
2006
Springer
16 years 24 days ago
2006
Springer
Segmenting an image into semantically meaningful parts is a fundamental and challenging task in computer vision. Automatic methods are able to segment an image into coherent region...
181
click to vote
ADC
2006
Springer
16 years 24 days ago
2006
Springer
Searching bio-chemical structures is becoming an important application domain of information retrieval. This paper introduces a protein structure matching problem and formulates i...
159
click to vote
ACMSE
2006
ACM
16 years 24 days ago
2006
ACM
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
196
click to vote
ACMSE
2006
ACM
16 years 24 days ago
2006
ACM
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...