Sciweavers

10301 search results - page 1712 / 2061
» informs 2007
Sort
View
SAMT
2007
Springer
109views Multimedia» more  SAMT 2007»
16 years 28 days ago
Challenges in Supporting Faceted Semantic Browsing of Multimedia Collections
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
Daniel A. Smith, Alisdair Owens, m. c. schraefel, ...
SAMT
2007
Springer
203views Multimedia» more  SAMT 2007»
16 years 28 days ago
A Generic Framework for Semantic Medical Image Retrieval
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer sucien...
Manuel Möller, Michael Sintek
SAS
2007
Springer
16 years 28 days ago
Program Analysis Using Symbolic Ranges
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gup...
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 28 days ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
SCALESPACE
2007
Springer
16 years 28 days ago
Dense Optical Flow Estimation from the Monogenic Curvature Tensor
In this paper, we address the topic of estimating two-frame dense optical flow from the monogenic curvature tensor. The monogenic curvature tensor is a novel image model, from whi...
Di Zang, Lennart Wietzke, Christian Schmaltz, Gera...
« Prev « First page 1712 / 2061 Last » Next »