5863 search results - page 866 / 1173 » On Model-Checking of P Systems |
164
click to vote
FMOODS
2008
15 years 8 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
170
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The accurate quantification of disease patterns in medical images allows radiologists to track the progress of a disease. Various computer vision techniques are able to automatica...
173
click to vote
AAAI
2006
15 years 8 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
169
click to vote
ACL
2006
15 years 8 months ago
2006
We consider the problem of producing a multi-document summary given a collection of documents. Since most successful methods of multi-document summarization are still largely extr...
188
click to vote
COMMA
2006
15 years 8 months ago
2006
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...