816 search results - page 13 / 164 » SAT-Based Image Computation with Application in Reachability... |
108
click to vote
ICML
2005
IEEE
16 years 15 days ago
2005
IEEE
We derive algorithms for finding a nonnegative n-dimensional tensor factorization (n-NTF) which includes the non-negative matrix factorization (NMF) as a particular case when n = ...
104
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
Abstract. Fractal image compression is an engaging and worthwhile technology that may be successfully applied to still image coding, especially at high compression ratios. Unfortun...
IISWC
2008
IEEE
15 years 6 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
CAIP
1997
Springer
15 years 3 months ago
1997
Springer
The use of digital image analysis in architectural photogrammetry allows the automation of monotonous low-level tasks and makes the interpretation of facades much easier. Different...
PICS
2000
15 years 1 months ago
2000
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...