4502 search results - page 873 / 901 » Regular Model Checking |
ENGL
2008
13 years 8 months ago
2008
Vortices can be produced and ingested into the intake of a jet engine during high power operation in the vicinity of solid surfaces causing Foreign Object Damage (FOD) or compresso...
IJCV
2006
13 years 8 months ago
2006
This paper studies the problem of matching two unsynchronized video sequences of the same dynamic scene, recorded by different stationary uncalibrated video cameras. The matching i...
JSAC
2008
13 years 8 months ago
2008
Abstract--Applications involving the dissemination of information directly relevant to humans (e.g., service advertising, news spreading, environmental alerts) often rely on publis...
JGAA
2006
13 years 8 months ago
2006
Visualization of circuits is an important research area in electronic design automation. One commonly accepted method to visualize a circuit aligns the gates to layers and uses or...
GPEM
2007
13 years 8 months ago
2007
In this paper, we investigate the employment of evolutionary algorithms as a search mechanism in a decision support system for designing chemotherapy schedules. Chemotherapy invol...