148 search results - page 30 / 30 » Modeling and reasoning with qualitative comparative clinical... |
SCAM
2008
IEEE
14 years 4 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
ESWS
2007
Springer
13 years 12 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
AAAI
1994
13 years 7 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...