1897 search results - page 107 / 380 » eg 2007 |
127
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
130
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
114
Voted
GD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for non-planarity. Modern planarity testi...
131
click to vote
GI
2007
Springer
15 years 7 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
106
Voted
GRAPHITE
2007
ACM
15 years 7 months ago
2007
ACM
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...