1816 search results - page 104 / 364 » Formal Concepts of Learning Systems Validation in Use |
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
182
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
156
click to vote
ECIS
2011
14 years 6 months ago
2011
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
145
click to vote
ICDE
2006
IEEE
16 years 11 days ago
2006
IEEE
Semantic annotation adds formal metadata to web pages to link web data with ontology concepts. Automated semantic annotation is a primary way of enabling the semantic web. A main ...
181
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a novel Multiple Instance Learning (MIL) framework to perform target localization from image sequences. The proposed approach consists of a softmax logistic re...