1123 search results - page 151 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
140
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
118
Voted
DOLAP
2009
ACM
15 years 9 months ago
2009
ACM
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
124
click to vote
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
129
Voted
SIBGRAPI
2008
IEEE
15 years 9 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
117
click to vote
ICA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We discuss causal structure learning based on linear structural equation models. Conventional learning methods most often assume Gaussianity and create many indistinguish...