8810 search results - page 454 / 1762 » Openness |
170
click to vote
ACL
2007
15 years 8 months ago
2007
In this paper, we translate sentence generation from TAG grammars with semantic and pragmatic information into a planning problem by encoding the contribution of each word declara...
195
click to vote
AIML
2008
15 years 8 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
163
Voted
BCSHCI
2008
15 years 8 months ago
2008
Mobile social awareness systems open up new social opportunities by enabling the automatic disclosure of awareness cues. We are trying to understand which cues work best to achiev...
161
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
CENC (Cipher-based ENCryption) is the recently designed encryption mode for blockciphers. It is provably secure with beyond the birthday bound. In this note, we present a simple di...
177
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
To decide if the parameterized feedback vertex set problem in directed graph is fixed-parameter tractable is a long standing open problem. In this paper, we prove that the paramet...