1816 search results - page 46 / 364 » Formal Concepts of Learning Systems Validation in Use |
KI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...
TCSV
2011
13 years 3 months ago
2011
—As it is true for human perception that we gather information from different sources in natural and multi-modality forms, learning from multi-modalities has become an effective ...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
SAFECOMP
1998
Springer
14 years 21 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...