8828 search results - page 1626 / 1766 » Formal methods in practice |
132
click to vote
AIPS
2008
15 years 6 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
113
click to vote
WSC
2007
15 years 6 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
145
click to vote
AUSDM
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...
151
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Active learning (AL) is an increasingly popular strategy for mitigating the amount of labeled data required to train classifiers, thereby reducing annotator effort. We describe ...
162
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...