1614 search results - page 152 / 323 » Learning Rules and Their Exceptions |
POPL
1999
ACM
15 years 2 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
ECAI
1994
Springer
15 years 2 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
125
click to vote
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
MEDINFO
2007
14 years 11 months ago
2007
Standardization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector where the need for exchanging he...
69
Voted
DAGSTUHL
2004
14 years 11 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...