6829 search results - page 1061 / 1366 » Quantitative Generalizations of Languages |
169
click to vote
ICDT
2007
ACM
16 years 26 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
181
click to vote
ICMI
2007
Springer
16 years 26 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
157
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
193
click to vote
IWMM
2007
Springer
16 years 26 days ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
195
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...