65 search results - page 12 / 13 » Generic Haskell: Practice and Theory |
ICCV
2009
IEEE
15 years 17 days ago
2009
IEEE
This purely theoretical work investigates the problem
of artificial singularities in camera self-calibration. Selfcalibration
allows one to upgrade a projective reconstruction
t...
BMCBI
2007
13 years 7 months ago
2007
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
AAAI
1998
13 years 9 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we introduce and study the Minimum Consistent Subset Cover (MCSC) problem. Given a finite ground set X and a constraint t, find the minimum number of consistent sub...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...