|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Hajime Takekawa, Hiroshi Ishikawa 0004 |
Incrementally-Updatable Stream Processors for XPath Queries based on Merging Automata via Ordered Hash-keys. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Tobias Schüle, Klaus Schneider 0001 |
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Shahkar Ahmad Nahvi, Mashuq Un Nabi, S. Janardhanan |
AFAS - adaptive fast approximate simulation for non-linear model reduction. |
Int. J. Model. Identif. Control. |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Vincenzo Conti, Giovanni Milici, Patrizia Ribino, Filippo Sorbello, Salvatore Vitabile |
Fuzzy Fusion in Multimodal Biometric Systems. |
KES (1) |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy fusion, afas, matching score level fusion, fingerprint |
25 | Jarkko Kari, Cristopher Moore |
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
25 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|