Sciweavers

17409 search results - page 3287 / 3482
» The Design and Performance of MedJava
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
15 years 4 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
ENTCS
2008
105views more  ENTCS 2008»
15 years 4 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch
FUIN
2008
98views more  FUIN 2008»
15 years 4 months ago
A Restarted Strategy for Efficient Subsumption Testing
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
Ondrej Kuzelka, Filip Zelezný
IEICET
2008
127views more  IEICET 2008»
15 years 4 months ago
Image and Video Quality Assessment Using LCD: Comparisons with CRT Conditions
In this paper, the impact of display on quality assessment is addressed. Subjective quality assessment experiments have been performed on both LCD and CRT displays. Two sets of st...
Sylvain Tourancheau, Patrick Le Callet, Dominique ...
CCR
2006
115views more  CCR 2006»
15 years 4 months ago
Network coding: an instant primer
Network coding is a new research area that may have interesting applications in practical networking systems. With network coding, intermediate nodes may send out packets that are...
Christina Fragouli, Jean-Yves Le Boudec, Jörg...
« Prev « First page 3287 / 3482 Last » Next »