1247 search results - page 63 / 250 » Reasoning about Function Objects |
121
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
119
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: In ubiquitous environments computers and smart devices, especially the technical view on them, disappear and users are supported to concentrate on the tasks they actually intend ...
116
click to vote
ECSQARU
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
148
click to vote
COMMA
2010
14 years 9 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
112
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...