300 search results - page 48 / 60 » An extension of the Cayley-Sylvester formula |
BIRTHDAY
1997
Springer
14 years 1 days ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
AAAI
2008
13 years 10 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
AAAI
2008
13 years 10 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
CDC
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
CVHI
2007
13 years 9 months ago
2007
The Paper presents multimedia system for accessible distant education which consists of multimedia browser accessible for visually impaired people and content distribution streamin...