1188 search results - page 135 / 238 » Testing Semantics: Connecting Processes and Process Logics |
110
Voted
ILP
2004
Springer
15 years 9 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
135
click to vote
FUZZY
2001
Springer
15 years 8 months ago
2001
Springer
This work studies the edge-based representation of directed acyclic graphs, as well as the properties of recombination operators working on it. It is shown that this representation...
135
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
As the World Wide Web becomes a large source of digital music, the music recommendation system has got a great demand. There are several music recommendation systems for both comme...
138
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
The encoding of shape information is a distinguishing feature of MPEG-4. In error prone communication networks, it is important and efficient to conceal shape errors spatially, so...
131
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In the field of multimedia analysis, attempts that lead to an emotional characterization of content have been proposed. In this work we aim at defining the emotional identity of a...