Sciweavers

2337 search results - page 77 / 468
» Is the Open Way a Better Way
Sort
View
CAISE
2010
Springer
13 years 8 months ago
From Web Data to Entities and Back
We present the Entity Name System (ENS), an enabling infrastructure, which can host descriptions of named entities and provide unique identifiers, on large-scale. In this way, it o...
Zoltán Miklós, Nicolas Bonvin, Paolo...
CORR
2006
Springer
123views Education» more  CORR 2006»
13 years 7 months ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini
CORR
2007
Springer
61views Education» more  CORR 2007»
13 years 7 months ago
Surface Conditioning Effect on Vacuum Microelectronics Components Fabricated by Deep Reactive Ion Etching
Advances in material processing such as silicon micromachining are opening the way to vacuum microelectronics. Two-dimensional vacuum components can be fabricated using the micros...
A. Phommahaxay, G. Lissorgues, L. Rousseau, T. Bou...
ENTCS
2007
104views more  ENTCS 2007»
13 years 7 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski
JOLLI
2010
69views more  JOLLI 2010»
13 years 6 months ago
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
Christian Retoré, Sylvain Salvati