Sciweavers

4690 search results - page 672 / 938
» An operational semantics for Scheme
Sort
View
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 2 months ago
Information-Theoretic Viewpoints on Optimal Causal Coding-Decoding Problems
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
Siva K. Gorantla, Todd P. Coleman
PAMI
2011
15 years 2 months ago
Overcoming Shadows in 3-Source Photometric Stereo
—Light occlusions are one of the most significant difficulties of photometric stereo methods. When three or more images are available without occlusion, the local surface orien...
Carlos Hernández, George Vogiatzis, Roberto...
JMLR
2010
161views more  JMLR 2010»
15 years 2 months ago
Accuracy-Rejection Curves (ARCs) for Comparing Classification Methods with a Reject Option
Data extracted from microarrays are now considered an important source of knowledge about various diseases. Several studies based on microarray data and the use of receiver operat...
Malik Sajjad Ahmed Nadeem, Jean-Daniel Zucker, Bla...
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
15 years 1 months ago
Synthesis of embedded control systems with high sampling frequencies
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
BILDMED
2011
313views Algorithms» more  BILDMED 2011»
14 years 11 months ago
Automatic Multi-modal ToF/CT Organ Surface Registration
Abstract. In the field of image-guided liver surgery (IGLS), the initial registration of the intra-operative organ surface with preoperative tomographic image data is performed on...
Kerstin Müller, Sebastian Bauer, Jakob Wasza,...