Sciweavers

1816 search results - page 150 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
JSS
2010
120views more  JSS 2010»
15 years 1 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
RECOMB
2005
Springer
16 years 6 months ago
The Factor Graph Network Model for Biological Systems
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
16 years 14 days ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
EVENT
2001
267views more  EVENT 2001»
15 years 7 months ago
View-Invariant Representation and Learning of Human Action
Automatically understanding human actions from video sequences is a very challenging problem. This involves the extraction of relevant visual information from a video sequence, re...
Cen Rao, Mubarak Shah
IJCAI
2003
15 years 7 months ago
Statistics Gathering for Learning from Distributed, Heterogeneous and Autonomous Data Sources
With the growing use of distributed information networks, there is an increasing need for algorithmic and system solutions for data-driven knowledge acquisition using distributed,...
Doina Caragea, Jaime Reinoso, Adrian Silvescu, Vas...