4266 search results - page 240 / 854 » A Framework for Defining Logics |
168
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
179
Voted
ISM
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...
154
click to vote
IWPEC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
166
click to vote
IJIS
2002
15 years 6 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
162
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Hierarchical representations, such as irregular pyramids, are the bases of several applications in the field of discrete imagery. So, ndimensional "bottom-up" irregular p...