6719 search results - page 242 / 1344 » A Generalization of Automatic Sequences |
IFIP12
2008
14 years 2 days ago
2008
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
ICSE
2012
IEEE-ACM
12 years 1 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Publication
The assessment of coronary arteries is an essential step when diagnosing coronary heart diseases. There exists a wide range of specialized algorithms for the segmentation of the co...
ICIP
2005
IEEE
15 years 9 days ago
2005
IEEE
In this paper, we propose a novel automatic framework for variational color image segmentation based on unifying adaptive region information and mixture modelling. We consider a f...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...