Sciweavers

386 search results - page 10 / 78
» Fundamental Questions
Sort
View
FECS
2010
161views Education» more  FECS 2010»
13 years 7 months ago
Distributed Laboratories: A Finite State Machine Module
: This paper presents an experimental module for teaching finite state machine concepts. This module is designed for use in a lecture-based course that does not currently have a la...
Bonnie Ferri, Jill Auerbach, Hongyi Qu
BMCBI
2007
153views more  BMCBI 2007»
13 years 10 months ago
Estimating genealogies from linked marker data: a Bayesian approach
Background: Answers to several fundamental questions in statistical genetics would ideally require knowledge of the ancestral pedigree and of the gene flow therein. A few examples...
Dario Gasbarra, Matti Pirinen, Mikko J. Sillanp&au...
IPPS
2005
IEEE
14 years 3 months ago
Hardware-Software Interaction: Preliminary Observations
As computational devices continue to advance, there are reasons to examine their foundations a little more deeply, and to ask whether there may not be something more to be found. ...
Neil Steiner, Peter M. Athanas
POPL
1991
ACM
14 years 1 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
JMIV
1998
124views more  JMIV 1998»
13 years 9 months ago
Preserving Topology by a Digitization Process
The main task of digital image processing is to recognize properties of real objects based on their digital images. These images are obtained by some sampling device, like a CCD c...
Longin Jan Latecki, Christopher Conrad, Ari D. Gro...