1816 search results - page 291 / 364 » Formal Concepts of Learning Systems Validation in Use |
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
117
click to vote
ACMICEC
2007
ACM
15 years 3 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
100
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...