4502 search results - page 873 / 901 » Regular Model Checking |
111
Voted
ENGL
2008
15 years 17 days 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...
86
Voted
IJCV
2006
15 years 15 days 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...
109
Voted
JSAC
2008
15 years 14 days 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...
118
Voted
JGAA
2006
15 years 14 days 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...
97
Voted
GPEM
2007
15 years 13 days 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...