1631 search results - page 164 / 327 » Observing Functional Logic Computations |
117
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...
163
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
147
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Future nano scale devices will expose different characteristics than todays silicon devices. While the exponential growth of non recurring expenses (NRE, mostly due to mask sets)...
134
Voted
CICLING
2001
Springer
15 years 8 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
127
click to vote
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Good similarity functions are at the heart of effective case-based reasoning. However, the similarity functions that have been designed so far have been mostly linear, we...