250 search results - page 29 / 50 » Reflections on Finite Model Theory |
MLQ
2000
14 years 9 months ago
2000
In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to "Every set has the s...
TARK
2005
Springer
15 years 3 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
81
Voted
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
ECIS
2001
14 years 11 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
A technique for extracting intrinsic images, including the reflectance and illumination images, from a single color image is presented. The technique first convolves the input ima...