11752 search results - page 193 / 2351 » Those |
222
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
163
click to vote
MFCS
2007
Springer
16 years 22 days ago
2007
Springer
The minimization problem for visibly pushdown automata (VPA) is studied. Two subclasses of VPA are introduced: call driven automata, and block automata. For the first class, minim...
162
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
In this work, we propose a system for shot comparison directly working on the MPEG-1 stream in the compressed domain, extracting both color, texture and motion features considering...
171
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
A lot of alignment systems providing mappings between the concepts of two ontologies rely on an additional source, called background knowledge, represented most of the time by a th...
165
click to vote
TABLEAUX
2007
Springer
16 years 21 days ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...