skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Information Processing Letters remover assunto: Studies remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improved undecidability results on weighted timed automata
Improved undecidability results on weighted timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved undecidability results on weighted timed automata

Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas

Information processing letters, 2006-06, Vol.98 (5), p.188-194 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Robust parametric reachability for timed automata
Robust parametric reachability for timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust parametric reachability for timed automata

Doyen, Laurent

Information processing letters, 2007-05, Vol.102 (5), p.208-213 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
The probability of “undefined” (non-converging) output in generating the universal probability distribution
The probability of “undefined” (non-converging) output in generating the universal probability distribution
Material Type:
Artigo 		Adicionar ao Meu Espaço

The probability of “undefined” (non-converging) output in generating the universal probability distribution

Solomonoff, Ray J.

Information processing letters, 2008-06, Vol.106 (6), p.238-240 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
A note on width-parameterized SAT: An exact machine-model characterization
A note on width-parameterized SAT: An exact machine-model characterization
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note on width-parameterized SAT: An exact machine-model characterization

Papakonstantinou, Periklis A.

Information processing letters, 2009-12, Vol.110 (1), p.8-12 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Decision problems for Turing machines
Decision problems for Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision problems for Turing machines

Finkel, Olivier ; Lecomte, Dominique

Information processing letters, 2009-11, Vol.109 (23), p.1223-1226 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Efficient parameterized string matching
Efficient parameterized string matching
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient parameterized string matching

Fredriksson, Kimmo ; Mozgovoy, Maxim

Information processing letters, 2006-11, Vol.100 (3), p.91-96 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
The equivalence problem for deterministic MSO tree transducers is decidable
The equivalence problem for deterministic MSO tree transducers is decidable
Material Type:
Artigo 		Adicionar ao Meu Espaço

The equivalence problem for deterministic MSO tree transducers is decidable

Engelfriet, Joost ; Maneth, Sebastian

Information processing letters, 2006-12, Vol.100 (5), p.206-212 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Folk theorems on the determinization and minimization of timed automata
Folk theorems on the determinization and minimization of timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Folk theorems on the determinization and minimization of timed automata

Tripakis, Stavros

Information processing letters, 2006-09, Vol.99 (6), p.222-226 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
P systems without multiplicities of symbol-objects
P systems without multiplicities of symbol-objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

P systems without multiplicities of symbol-objects

Alhazov, Artiom

Information processing letters, 2006-11, Vol.100 (3), p.124-129 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Construction of Aho Corasick automaton in linear time for integer alphabets
Construction of Aho Corasick automaton in linear time for integer alphabets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Construction of Aho Corasick automaton in linear time for integer alphabets

Dori, Shiri ; Landau, Gad M.

Information processing letters, 2006-04, Vol.98 (2), p.66-72 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.