2024 search results - page 24 / 405 » The Meaning of Ordered SOS |
113
Voted
AICOM
2006
15 years 1 months ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
116
Voted
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
117
Voted
ISQED
2007
IEEE
15 years 7 months ago
2007
IEEE
Model order reduction plays a key role in determining VLSI system performance and the optimization of interconnects. In this paper, we develop an accurate and provably passive met...
103
Voted
NDJFL
1998
15 years 22 days ago
1998
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
83
Voted
TIT
2002
15 years 22 days ago
2002
We consider the estimation of the order, i.e., the number of hidden states, of a special class of discrete-time finite-alphabet hidden Markov sources. This class can be characteriz...