Sciweavers

11949 search results - page 82 / 2390
» Some results on (a:b)-choosability
Sort
View
CAI
2009
Springer
16 years 29 days ago
Picture Languages: From Wang Tiles to 2D Grammars
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
Alessandra Cherubini, Matteo Pradella
ESORICS
2005
Springer
15 years 12 months ago
Security Notions for Disk Encryption
We define security goals and attack models for disk encryption, and prove several relationships between the resulting security notions, and some general results about disk encryp...
Kristian Gjøsteen
LANMR
2004
15 years 7 months ago
ASP: from Application Development to Syntax Extensions
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....
Magdalena Ortiz
ACL
2010
15 years 4 months ago
Simultaneous Tokenization and Part-Of-Speech Tagging for Arabic without a Morphological Analyzer
We describe an approach to simultaneous tokenization and part-of-speech tagging that is based on separating the closed and open-class items, and focusing on the likelihood of the ...
Seth Kulick
JSYML
2002
64views more  JSYML 2002»
15 years 6 months ago
Blowing up The Power Set of The Least Measurable
Abstract. We prove some results related to the problem of blowing up the power set of the least measurable cardinal. Our forcing results improve those of [1] by using the optimal h...
Arthur W. Apter, James Cummings