1834 search results - page 331 / 367 » PICTURE - A new Approach for Domain-Specific Process Modelli... |
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
NECO
2011
13 years 3 months ago
2011
Correlations between neuronal spike trains impact network dynamics and population coding. Overlapping afferent populations and correlations between presynaptic spike trains intro...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We propose an unsupervised method for evaluating image segmentation. Common methods are typically based on evaluating smoothness within segments and contrast between them, and the...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper, parallelepipeds and their use in camera calibration and 3D reconstruction processes are studied. Parallelepipeds naturally characterize rigidity constraints present...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...