Sciweavers

655 search results - page 29 / 131
» Automata, Logic, and XML
Sort
View
114
Voted
WEBDB
2007
Springer
117views Database» more  WEBDB 2007»
15 years 3 months ago
XML Information Retrieval Considering Physical Page Layout of Logical Elements
XML information retrieval (XML-IR) systems utilize the logical structure of XML documents for retrieving relevant elements. From a practical point of view, displaying the search r...
Toshiyuki Shimizu, Masatoshi Yoshikawa
MST
2011
208views Hardware» more  MST 2011»
14 years 4 months ago
Weighted Picture Automata and Weighted Logics
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
Ina Fichtner
BIRTHDAY
2012
Springer
13 years 5 months ago
Cryptography with Asynchronous Logic Automata
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bac...
IS
2010
14 years 8 months ago
Tree pattern mining with tree automata constraints
Most work on pattern mining focuses on simple data structures such as itemsets and sequences of itemsets. However, a lot of recent applications dealing with complex data like chem...
Sandra de Amo, Nyara A. Silva, Ronaldo P. Silva, F...
CAV
1999
Springer
119views Hardware» more  CAV 1999»
15 years 1 months ago
A Theory of Restrictions for Logics and Automata
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
Nils Klarlund