Sciweavers

11949 search results - page 82 / 2390
» Some results on (a:b)-choosability
Sort
View
100
Voted
CAI
2009
Springer
15 years 7 months 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
82
Voted
ESORICS
2005
Springer
15 years 6 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 2 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
88
Voted
ACL
2010
14 years 11 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
54
Voted
JSYML
2002
64views more  JSYML 2002»
15 years 14 days 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