44 search results - page 1 / 9 » Internal logic viewed from observation space: Theory and a c... |
BIOSYSTEMS
2007
13 years 5 months ago
2007
ILP
2004
Springer
13 years 10 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
ENTCS
2002
13 years 5 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
FOSSACS
2010
Springer
14 years 2 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...