8337 search results - page 20 / 1668 » Reasoning With Characteristic Models |
BIOTECHNO
2008
IEEE
14 years 2 months ago
2008
IEEE
We use the data collected by the Lung Image Database Consortium (LIDC) for modeling the radiologists’ nodule interpretations based on image content of the nodule by using decisi...
ADHOC
2006
13 years 8 months ago
2006
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
APSEC
2007
IEEE
13 years 10 months ago
2007
IEEE
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...