6527 search results - page 1108 / 1306 » On Typing Information Flow |
148
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We present a new, unique and freely available parallel corpus containing European Union (EU) documents of mostly legal nature. It is available in all 20 official EU languages, wit...
153
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- We study routing for massively dense wireless networks, i.e., wireless networks that contain so many nodes that, in addition to their usual microscopic description, a no...
189
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
192
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Grammar induction, also known as grammar inference, is one of the most important research areas in the domain of natural language processing. Availability of large corpora has enc...
215
click to vote
DKE
2006
15 years 7 months ago
2006
In the past few years, the fast proliferation of available XML documents has stimulated a great deal of interest in discovering hidden and nontrivial knowledge from XML repositori...