7890 search results - page 298 / 1578 » The MathSAT 3 System |
172
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Colorectal cancer includes cancer of the colon, rectum, anus and appendix. Since it is largely preventable, it is extremely important to detect and treat the colorectal cancer in ...
167
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We prove exponential lower bounds for the refutation of a random 3-CNF with linear number of clauses by k-DNF Resolution for k log n/ log log n. For this we design a specially ta...
151
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a new approach based on Markov Chain Monte Carlo(MCMC) for the stable monocular tracking of variable interacting targets in 3D space. The crucial problem...
184
click to vote
ICAT
2006
IEEE
16 years 20 days ago
2006
IEEE
Currently there are many software packages that allow analysis of Geographic Information Systems (GIS) data. However, these software packages limit user interaction and exploratio...
148
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
We present a streaming system that utilizes interleaved transmission for real-time H.264/AVC video in 3G wireless environments with benefits shown especially in the presence of li...