581 search results - page 58 / 117 » An Automata Model for Trees with Ordered Data Values |
162
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. A probabilistic graphical model is developed in order to detect the dependent evolution between different sites in biological sequences. Given a multiple sequence alignme...
183
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
168
click to vote
DBKDA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
149
Voted
DAWAK
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
187
Voted
PODS
2008
ACM
16 years 6 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...