451 search results - page 10 / 91 » Identifying Facts for TCBR |
PLDI
2012
ACM
13 years 2 days ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
NAACL
2010
14 years 7 months ago
2010
Automatically finding email messages that contain requests for action can provide valuable assistance to users who otherwise struggle to give appropriate attention to the actionab...
PDPTA
2010
14 years 7 months ago
2010
- Many research questions remain open with regard to improving reliability in exascale systems. Among others, statistics-based analysis has been used to find anomalies, to isolate ...
116
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Text data pertaining to socio-technical networks often are analyzed separately from relational data, or are reduced to the fact and strength of the flow of information between node...
SRDS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-Software code reuse has long been touted as a reliable and efficient software development paradigm. Whilst this practice has numerous benefits, it is inherently susceptibl...