1283 search results - page 190 / 257 » Science: the rules of the game |
107
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Information systems often present virtual spaces that are sufficient to enable important human interaction. By enabling such interaction, systems designers are inherently creating...
113
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
141
click to vote
IQIS
2004
ACM
15 years 7 months ago
2004
ACM
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...
103
click to vote
DIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...