Sciweavers

828 search results - page 73 / 166
» Predictability by construction
Sort
View
POPL
2006
ACM
14 years 10 months ago
Stratified type inference for generalized algebraic data types
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
François Pottier, Yann Régis-Gianas
WCC
2005
Springer
130views Cryptology» more  WCC 2005»
14 years 3 months ago
On the Design of Codes for DNA Computing
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...
Olgica Milenkovic, Navin Kashyap
AVBPA
2003
Springer
96views Biometrics» more  AVBPA 2003»
14 years 3 months ago
Novel Temporal Views of Moving Objects for Gait Biometrics
There is increasing interest in novel view reconstruction but less for new time-based views of moving objects as needed for gait biometric deployment. Our interests concern reconst...
Stuart P. Prismall, Mark S. Nixon, John N. Carter
WSC
2008
14 years 9 days ago
Optimization of Multi-Project Environment (OPMPE)
Construction business is project oriented and that is why every construction organization is dependent on projects. Typically they undertake multiple projects with limited multipl...
Lokman Hossain, Janaka Ruwanpura
TVCG
2008
140views more  TVCG 2008»
13 years 10 months ago
Efficient Morse Decompositions of Vector Fields
Vector field analysis plays a crucial role in many engineering applications, such as weather prediction, tsunami and hurricane study, and airplane and automotive design. Existing ...
Guoning Chen, Konstantin Mischaikow, Robert S. Lar...