4211 search results - page 596 / 843 » Types as Abstract Interpretations |
157
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. Since creating annotations manually is a...
158
click to vote
AAAI
2006
15 years 7 months ago
2006
As part of a larger Machine Ethics Project, we are developing an ethical advisor that provides guidance to health care workers faced with ethical dilemmas. MedEthEx is an implemen...
170
click to vote
CIC
2004
15 years 7 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
158
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Abstract. With the recent trend to model driven development a commonly agreed notion of "model" becomes a pivotal issue. However, currently there is little consensus abou...
157
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...