1313 search results - page 121 / 263 » The Inference Based on Molecular Computing |
SEFM
2008
IEEE
15 years 5 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
— The deployment of wireless LANs (WLANs) has been steadily increasing over the years and estimating the actual bit rate of a WLAN device is important for management and applicat...
IPM
2000
14 years 11 months ago
2000
In this paper, a competition-based connectionist model for diagnostic problem-solving is adapted to information retrieval. In this model, we treat documents as \disorders" an...
176
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
136
click to vote
CSCW
2012
ACM
13 years 7 months ago
2012
ACM
Social applications on the web let users track and follow the activities of a large number of others regardless of location or affiliation. There is a potential for this transpare...