2153 search results - page 365 / 431 » From Requirements Models to Formal Specifications in B |
ICCV
2007
IEEE
15 years 4 days ago
2007
IEEE
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We developed a low-effort interaction method called Click2Tag for social bookmarking. Information foraging theory predicts that the production of tags will increase as the effort ...
ICDE
2009
IEEE
14 years 5 months ago
2009
IEEE
— Information extraction (IE) systems are trained to extract specific relations from text databases. Real-world applications often require that the output of multiple IE systems...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
The batch least-absolute shrinkage and selection operator (Lasso) has well-documented merits for estimating sparse signals of interest emerging in various applications, where obse...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
Frequency domain optical coherence tomography (FDOCT) is a new technique that is well-suited for fast imaging of biological specimens, as well as non-biological objects. The measu...