Sciweavers

386 search results - page 10 / 78
» Fundamental Questions
Sort
View
FECS
2010
161views Education» more  FECS 2010»
14 years 9 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»
14 years 12 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
15 years 5 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
15 years 3 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»
14 years 11 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...