445 search results - page 57 / 89 » Deriving Concept Mappings through Instance Mappings |
ISMIR
2005
Springer
14 years 4 months ago
2005
Springer
Music can be described best by music. However, current research in the design of user interfaces for the exploration of music collections has mainly focused on visualization aspec...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
IFIPTCS
2010
13 years 9 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
IDA
2005
Springer
14 years 4 months ago
2005
Springer
We consider the problem of learning a ranking function, that is a mapping from instances to rankings over a finite number of labels. Our learning method, referred to as ranking by...
IJIT
2004
14 years 10 days ago
2004
The paper focuses on the area of context modeling with respect to the specification of context-aware systems supporting ubiquitous applications. The proposed approach, followed wit...