Sciweavers

14054 search results - page 2748 / 2811
» P
Sort
View
LISP
2007
74views more  LISP 2007»
14 years 11 months ago
Improving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...
ALGORITHMICA
2002
120views more  ALGORITHMICA 2002»
14 years 11 months ago
An Experimental Study of Algorithms for Weighted Completion Time Scheduling
We consider the total weighted completion time scheduling problem for parallel identical machines and precedence constraints, P jprecj PwiCi. This important and broad class of pro...
Ivan D. Baev, Waleed Meleis, Alexandre E. Eichenbe...
LRE
2007
101views more  LRE 2007»
14 years 11 months ago
The CHIL audiovisual corpus for lecture and meeting analysis inside smart rooms
The analysis of lectures and meetings inside smart rooms has recently attracted much interest in the literature, being the focus of international projects and technology evaluation...
Djamel Mostefa, Nicolas Moreau, Khalid Choukri, Ge...
BC
2002
133views more  BC 2002»
14 years 11 months ago
Cortical network reorganization guided by sensory input features
Abstract. Sensory experience alters the functional organization of cortical networks. Previous studies using behavioral training motivated by aversive or rewarding stimuli have dem...
Michael P. Kilgard, Pritesh K. Pandya, Navzer D. E...
BMCBI
2004
159views more  BMCBI 2004»
14 years 11 months ago
Extractor for ESI quadrupole TOF tandem MS data enabled for high throughput batch processing
Background: Mass spectrometry based proteomics result in huge amounts of data that has to be processed in real time in order to efficiently feed identification algorithms and to e...
Andreas M. Boehm, Robert P. Galvin, Albert Sickman...
« Prev « First page 2748 / 2811 Last » Next »