780 search results - page 137 / 156 » Reasoning about sets using redescription mining |
153
Voted
WSC
2004
15 years 5 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
107
Voted
DAGSTUHL
1994
15 years 5 months ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
127
Voted
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
127
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
129
Voted
TKDE
2008
15 years 3 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...