52 search results - page 4 / 11 » Termination for Hybrid Tableaus |
ICC
2007
IEEE
14 years 2 days ago
2007
IEEE
— This paper deals with throughput oriented Adaptive Modulation and Coding (AMC) techniques combined with cooperative protocols where terminals are constrained by half-duplex as...
CSE
2009
IEEE
14 years 15 days ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
WWW
2007
ACM
2007
ACM
Robust web page segmentation for mobile terminal using content-distances and page layout information
14 years 6 months ago
The demand of browsing information from general Web pages using a mobile phone is increasing. However, since the majority of Web pages on the Internet are optimized for browsing f...
EPK
2006
13 years 7 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
ENTCS
2010
13 years 5 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...