4738 search results - page 599 / 948 » Correlated Data Inference |
141
Voted
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
159
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
178
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
The massive, ever-growing literature in life science makes it increasingly difficult for individuals to grasp all the information relevant to their interests. Since even experts’...
167
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...
195
click to vote
RSKT
2007
Springer
16 years 28 days ago
2007
Springer
Dominance-based Rough Set Approach (DRSA) has been proposed to deal with multi-criteria classification problems, where data may be inconsistent with respect to the dominance princ...