16513 search results - page 293 / 3303 » Numerical Analysis Methods |
236
click to vote
TPHOL
2006
IEEE
16 years 18 days ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
164
click to vote
SPIESR
2004
15 years 8 months ago
2004
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...
190
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
233
click to vote
NA
2010
15 years 1 months ago
2010
Solving systems of nonlinear equations is a relatively complicated problem for which a number of different approaches have been proposed. In this paper, we employ the Homotopy Anal...
231
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
We present a large-scale analysis of the content of weblogs dating back to the release of the Blogger program in 1999. Over one million blogs were analyzed from their conception t...