2016 search results - page 261 / 404 » Megamaps: Construction and Examples |
126
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
129
click to vote
COCO
2009
Springer
15 years 11 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
120
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
116
Voted
QI
2009
Springer
15 years 11 months ago
2009
Springer
A novel way to define Quantum like measurements for text is through transformations called Selective Erasers. When applied to text, an Eraser acts like a filter and preserves par...
126
Voted
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...