10890 search results - page 415 / 2178 » Automatic Complexity Analysis |
206
click to vote
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
192
click to vote
SIGIR
2005
ACM
16 years 11 days ago
2005
ACM
This paper is concerned with automatic extraction of titles from the bodies of HTML documents. Titles of HTML documents should be correctly defined in the title fields; however, i...
191
click to vote
KDD
2004
ACM
16 years 5 days ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
171
click to vote
GRAPHITE
2003
ACM
16 years 2 days ago
2003
ACM
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...
208
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...