Sciweavers

3913 search results - page 281 / 783
» complexity 2006
Sort
View
DALT
2006
Springer
15 years 10 months ago
JADL - An Agent Description Language for Smart Agents
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak
DGCI
2006
Springer
15 years 10 months ago
Minimal Decomposition of a Digital Surface into Digital Plane Segments Is NP-Hard
This paper deals with the complexity of the decomposition of a digital surface into digital plane segments (DPS for short). We prove that the decision problem (does there exist a ...
Isabelle Sivignon, David Coeurjolly
ECTEL
2006
Springer
15 years 9 months ago
Semantic Modelling of Learning Objects and Instruction
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
Claus Pahl, Mark Melia
ESA
2006
Springer
112views Algorithms» more  ESA 2006»
15 years 9 months ago
Enumerating Spanning and Connected Subsets in Graphs and Matroids
We show that enumerating all minimal spanning and connected subsets of a given matroid is quasi-polynomially equivalent to the well-known hypergraph transversal problem, and thus ...
Leonid Khachiyan, Endre Boros, Konrad Borys, Khale...
FGR
2006
IEEE
100views Biometrics» more  FGR 2006»
15 years 9 months ago
Photometric Normalisation for Component-based Face Verification
As an extension to prior work by the authors in the area of photometric normalisation for face verification, we apply these algorithms in a component-based framework. In particula...
James Short, Josef Kittler, Kieron Messer