4902 search results - page 687 / 981 » Structures, Semantics and Statistics |
177
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
194
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
174
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The usage of parallelization and distribution techniques in the field of ontology matching is of high interest for the semantic web community. This work presents an approach for ma...
176
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
With the proliferation of diverse multimedia terminals, the request for elegantly retargeting videos to different display devices is evident, especially in sports. This demonstra...
173
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
As wireless network infrastructure becomes more reliable, an increasing number of traditional desktop applications, beyond common web browsing, migrate to portable devices. Since ...