Search Sciweavers | Sciweavers

1699 search results - page 34 / 340

» On the Expressive Power of QLTL

click to vote

CORR
2010
Springer

135views Education» more CORR 2010»

On Achievable Rates of the Two-user Symmetric Gaussian Interference Channel

13 years 7 months ago

Download www.ece.umn.edu

We study the Han-Kobayashi (HK) achievable sum rate for the two-user symmetric Gaussian interference channel. We find the optimal power split ratio between the common and private m...

Omar Mehanna, John Marcos, Nihar Jindal

claim paper

Read More »

click to vote

SIGMOD
2009
ACM

220views Database» more SIGMOD 2009»

Keyword search in databases: the power of RDBMS

14 years 10 months ago

Download www.se.cuhk.edu.hk

Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...

Lu Qin, Jeffrey Xu Yu, Lijun Chang

claim paper

Read More »

click to vote

WWW
2008
ACM

158views Internet Technology» more WWW 2008»

A logical framework for modeling and reasoning about semantic web services contract

14 years 10 months ago

Download www2008.org

In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...

Hai Liu, Qing Li, Naijie Gu, An Liu

claim paper

Read More »

click to vote

CORR
2010
Springer

98views Education» more CORR 2010»

Extended Computation Tree Logic

13 years 10 months ago

Download www.comlab.ox.ac.uk

We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...

Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...

claim paper

Read More »

click to vote

IANDC
2006

95views more IANDC 2006»

The alternation hierarchy in fixpoint logic with chop is strict too

13 years 9 months ago