tag :: finite_state

закладки (спрятать)1
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1Finite-state automata and directed acyclic graphs
«Jan Daciuk's page is the font of all knowledge FSA/FST»
14 лет назад , @unhammer
dawg
finite_state
fsa
fst
morphology
dawgfinite_statefsafstmorphology
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи

&lang;&lang;
⟨
1
&rang;
⟩⟩

публикации (спрятать)9
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1FST Trimming: Ending Dictionary Redundancy in Apertium
M. Marting, и K. Unhammer. Proceedings of the 9th SaLTMiL Workshop on “Free/Open-Source Language Resources for the Machine Translation of Less-Resourced Languages”, LREC2014, стр. 19--24. (2014)
10 лет назад , @unhammer
Apertium
FST
RBMT
finite_state
myown
ApertiumFSTRBMTfinite_statemyown
(0)
копироватьудалитьдобавить публикацию в буфер
2Dynamic Cutoff Detection in Parameterized Concurrent Programs
A. Kaiser, D. Kroening, и T. Wahl. Proceedings of CAV, Springer, (2010)To appear..
15 лет назад , @giuliano.losa
cutoff
finite_state
parameterized
verification
cutofffinite_stateparameterizedverification
(0)
копироватьудалитьдобавить публикацию в буфер
2Verification of Parameterized Protocols
K. Baukus, Y. Lakhnech, и K. Stahl. 7 (2): 141--158 (2001)
15 лет назад , @giuliano.losa
abstraction
finite_state
infinite_state
liveness
parameterized
verification
ws1s
abstractionfinite_stateinfinite_statelivenessparameterizedverificationws1s
(0)
копироватьудалитьдобавить публикацию в буфер
2Automatic symbolic compositional verification by learning assumptions
W. Nam, P. Madhusudan, и R. Alur. Formal Methods in System Design, 32 (3): 207--234 (июня 2008)
15 лет назад , @giuliano.losa
assume_guarantee
asynchronous
automated
compositional
finite_state
machine_learning
safety
verification
assume_guaranteeasynchronousautomatedcompositionalfinite_statemachine_learningsafetyverification
(0)
копироватьудалитьдобавить публикацию в буфер
2Automatic Deductive Verification with Invisible Invariants
A. Pnueli, S. Ruah, и L. Zuck. TACAS, стр. 82-97. Springer, (2001)
15 лет назад , @giuliano.losa
German
automated
cutoff
deductive
finite_state
invariant_discovery
modelchecking
parameterized
verification
Germanautomatedcutoffdeductivefinite_stateinvariant_discoverymodelcheckingparameterizedverification
(0)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
&rang;
⟩⟩

BibSonomy

закладки (спрятать)1
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1Finite-state automata and directed acyclic graphs

публикации (спрятать)9
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1FST Trimming: Ending Dictionary Redundancy in Apertium

2Dynamic Cutoff Detection in Parameterized Concurrent Programs

2Verification of Parameterized Protocols

2Automatic symbolic compositional verification by learning assumptions

2Automatic Deductive Verification with Invisible Invariants

просмотр

сходные по теме тэги

BibSonomy

закладки (спрятать)1 показатьвсётолько закладкизакладки на страницу5102050100 RSSBibTeXXML

1Finite-state automata and directed acyclic graphs

публикации (спрятать)9 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

1FST Trimming: Ending Dictionary Redundancy in Apertium

2Dynamic Cutoff Detection in Parameterized Concurrent Programs

2Verification of Parameterized Protocols

2Automatic symbolic compositional verification by learning assumptions

2Automatic Deductive Verification with Invisible Invariants

просмотр

сходные по теме тэги

закладки (спрятать)1
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)9
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...