90 search results - page 4 / 18 » Supporting Reasoning with Different Types of Evidence in Int... |
LFCS
1992
Springer
13 years 11 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
KR
2004
Springer
14 years 28 days ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
DOLAP
2004
ACM
14 years 1 months ago
2004
ACM
Computer system sizing involves estimating the amount of hardware resources needed to support a new workload not yet deployed in a production environment. In order to determine th...
SEMWEB
2009
Springer
14 years 3 days ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
-- A human's performance in a complex task is highly dependent on the demands of the task, in the sense that highly demanding situations will often cause a degradation of perf...