41938 search results - page 8045 / 8388 » Complex Systems Modeling |
171
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
170
click to vote
EGITALY
2006
15 years 8 months ago
2006
Cataract is a clouding of the eye's natural lens, normally due to natural aging changes, and involving at least half of the population over 65 years. Cataract extraction is t...
193
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
219
click to vote
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...
168
click to vote
IADIS
2004
15 years 8 months ago
2004
The study on the topological structure of the Internet is very important for the simulation and the protocol design of the Internet. In recent years, some researchers have made pr...