668 search results - page 14 / 134 » Hyperrelations in version space |
GI
2009
Springer
14 years 1 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
FIMI
2004
13 years 10 months ago
2004
Frequency mining problem comprises the core of several data mining algorithms. Among frequent pattern discovery algorithms, FP-GROWTH employs a unique search strategy using compac...
CISS
2008
IEEE
13 years 10 months ago
2008
IEEE
A non-regenerative dual-hop wireless system based on distributed Alamouti space-time coding is considered. It is assumed that each relay retransmits an appropriately scaled space-t...
JMIV
2010
13 years 7 months ago
2010
In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and improve upon the presentation of assertions in Han’s papers ...
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
We improve the promising Colour by Correlation method for computational colour constancy by modifying it to work in a three dimensional colour space. The previous version of the al...