689 search results - page 95 / 138 » The multithreaded version of FORM |
KES
2008
Springer
13 years 8 months ago
2008
Springer
Low contrast in mammographic image has always made detection of subtle signs such as the presence of micro calcification within dense tissue a challenge. Therefore, numerous resear...
ENGL
2007
13 years 8 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
JODL
2006
13 years 8 months ago
2006
We present the results and the lessons learned from two separate and independent studies into the design, development, and evaluation of electronic books for information access: th...
MOR
2008
13 years 8 months ago
2008
We define a refinement of Nash equilibria called metastability. This refinement supposes that the given game might be embedded within any global game that leaves its local best-rep...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...