933 search results - page 74 / 187 » A Fully Automatic hp-Adaptivity |
90
Voted
AIR
1998
15 years 11 days ago
1998
Plankton form the base of the food chain in the ocean and are fundamental to marine ecosystem dynamics. The rapid mapping of plankton abundance together with taxonomic and size com...
104
Voted
WOWMOM
2009
ACM
15 years 7 months ago
2009
ACM
We propose procedures for autoconfiguration of wireless mesh networks based on DHCP protocol. The proposed mechanism provides automatic address and radio parameters set-up for nod...
TOSEM
2002
15 years 9 days ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
An accurate and fully automatic method for detecting and quantifying emphysema in CT-images is presented. The method is based on an image preprocessing step followed by a neural n...
86
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...