2496 search results - page 214 / 500 » Error-detecting properties of languages |
150
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
248
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
The development of areas such as remote and airborne sensing, location based services, and geosensor networks enables the collection of large volumes of spatial data. These datase...
121
Voted
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
248
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
245
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...