2611 search results - page 402 / 523 » A Logic for Concepts and Similarity |
151
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
Although many systems exist for automatic classification of faces according to their emotional expression, these systems do not explicitly estimate the strength of given expression...
150
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
157
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
187
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...
156
click to vote
FTDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...