7123 search results - page 373 / 1425 » The Ordered Set of Rough Sets |
176
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
162
click to vote
MKM
2007
Springer
16 years 29 days ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
169
click to vote
WADS
2007
Springer
16 years 28 days ago
2007
Springer
Let G = (S, E) be a plane straight-line graph on a finite point set S ⊂ R2 in general position. The incident angles of a point p ∈ S in G are the angles between any two edges ...
153
click to vote
ICEIS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents a set of components that support psychotherapy processes on mobile and office settings. One provides patients the required access to psychotherapy artefacts, en...
150
click to vote
ISMAR
2006
IEEE
16 years 25 days ago
2006
IEEE
Marker-based optical tracking systems are widely used in augmented reality, medical navigation and industrial applications. We propose a model for the prediction of the target reg...