Sciweavers

16190 search results - page 139 / 3238
» Applicative programming with effects
Sort
View
BIOSIG
2009
106views Biometrics» more  BIOSIG 2009»
15 years 9 days ago
Quantitative Standardization of Iris Image Formats
: This paper gives performance-based results for the application of a leading recognition algorithm applied to standardized iris imagery. The implementation was evaluated in NIST&#...
Patrick Grother
LICS
2009
IEEE
15 years 9 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
114
Voted
BMCBI
2008
151views more  BMCBI 2008»
15 years 2 months ago
Application of the Linux cluster for exhaustive window haplotype analysis using the FBAT and Unphased programs
Background: Genetic association studies have been used to map disease-causing genes. A newly introduced statistical method, called exhaustive haplotype association study, analyzes...
Hiroyuki Mishima, Andrew C. Lidral, Jun Ni
DAC
1995
ACM
15 years 6 months ago
Synthesis of Software Programs for Embedded Control Applications
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska...