11151 search results - page 328 / 2231 » On the Complexity of Model Expansion |
225
click to vote
ICTAI
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
177
click to vote
ICIP
2002
IEEE
16 years 14 days ago
2002
IEEE
Automatically extracting object models from images is a complex task. We describe research in extracting 3-D models of buildings from aerial images. This work has resulted in seve...
192
Voted
WSC
2001
15 years 9 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
224
click to vote
FORTE
2010
15 years 9 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
193
Voted
CEC
2008
IEEE
16 years 2 months ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...