14704 search results - page 2670 / 2941 » computing 2007 |
142
click to vote
WSC
2007
15 years 6 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
149
click to vote
WSC
2007
15 years 6 months ago
2007
Computer simulation is effective in improving the efficiency of manufacturing system design, operation, and maintenance. Most simulation models are usually tailored to address a n...
145
click to vote
ACSD
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
123
click to vote
AIIA
2007
Springer
15 years 6 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
138
click to vote
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
— This research describes a non-interactive process that applies several forms of computational intelligence to the task of classifying biopsy lung tissue samples based on visual...