250 search results - page 4 / 50 » Reflections on Finite Model Theory |
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose a new method for simultaneously estimating the illumination of the scene and the reflectance property of the object from a single image. We assume that t...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In wireless networks, the knowledge of nodal distances is essential for performance analysis and protocol design. When determining distance distributions in random networks, the u...
TPLP
2008
14 years 9 months ago
2008
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
STOC
2009
ACM
15 years 10 months ago
2009
ACM
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
AIEDU
2007
14 years 9 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...