2863 search results - page 363 / 573 » Computer modelling and natural phenomena |
159
click to vote
DAC
1992
ACM
15 years 10 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
137
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
165
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
150
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...
187
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a competitive image segmentation algorithm. It is a dynamic evolving optimization method, which we call the population algorithm. The method is inspired f...