6829 search results - page 56 / 1366 » Quantitative Generalizations of Languages |
112
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
111
Voted
HIPS
1997
IEEE
15 years 5 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
106
click to vote
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
112
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...