5550 search results - page 635 / 1110 » Different Approaches to Proof Systems |
175
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
188
click to vote
EDUTAINMENT
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes a computational approach to style conversion of cartoon animation. Our system works in two stages: the internal color shading phase, in which characters paint...
207
click to vote
CBMS
2005
IEEE
15 years 9 months ago
2005
IEEE
Inductive learning systems have been successfully applied in a number of medical domains. Nevertheless, the effective use of these systems requires data preprocessing before apply...
193
click to vote
FORTEST
2008
15 years 8 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
202
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Web search personalization aims to adapt search results to a user based on his tastes, interests and needs. The way in which such personal preferences are captured, modeled and exp...