Sciweavers

317 search results - page 43 / 64
» Typing References by Effect Inference
Sort
View
AAAI
1990
14 years 10 months ago
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
Franz Baader
EAAI
2008
101views more  EAAI 2008»
14 years 9 months ago
A global constraint for total weighted completion time for cumulative resources
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
András Kovács, J. Christopher Beck
ICCV
2007
IEEE
15 years 11 months ago
Embedded Profile Hidden Markov Models for Shape Analysis
An ideal shape model should be both invariant to global transformations and robust to local distortions. In this paper we present a new shape modeling framework that achieves both...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
ICIP
2006
IEEE
15 years 11 months ago
A Profile Hidden Markov Model Framework for Modeling and Analysis of Shape
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
ICSE
2008
IEEE-ACM
15 years 10 months ago
Systematically refactoring inheritance to delegation in java
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
Hannes Kegel, Friedrich Steimann