1414 search results - page 131 / 283 » Combining Intruder Theories |
87
Voted
AIED
2007
Springer
15 years 7 months ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
109
click to vote
CAIP
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
100
Voted
CAISE
2007
Springer
15 years 7 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
78
Voted
ESA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a new algorithm that can output the rankdecomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid rep...
91
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...