1285 search results - page 238 / 257 » Description Logic Reasoner: System Description |
103
click to vote
LOPSTR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
DAGSTUHL
2001
15 years 1 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...