Sciweavers

8959 search results - page 193 / 1792
» Composing aspects with aspects
Sort
View
IVC
2008
182views more  IVC 2008»
15 years 6 months ago
Ontology based complex object recognition
This paper presents an object categorization method. Our approach involves the following aspects of cognitive vision : machine learning and knowledge representation. A major eleme...
Nicolas Maillot, Monique Thonnat
FASE
2003
Springer
15 years 11 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
WADT
1998
Springer
15 years 10 months ago
Semantic Constructions for Hidden Algebra
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Corina Cîrstea
CEC
2009
IEEE
16 years 1 months ago
Towards an evolved lower bound for the most circular partition of a square
— We examine the problem of partitioning a square into convex polygons which are as circular as possible. Circular means that the polygon’s aspect ratio is supposed to be near
Claudia Obermaier, Markus Wagner
LFCS
2009
Springer
16 years 1 months ago
Decidability and Undecidability in Probability Logic
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...
Sebastiaan Terwijn