Sciweavers

819 search results - page 137 / 164
» Fractal symbolic analysis
Sort
View
BMCBI
2008
154views more  BMCBI 2008»
13 years 10 months ago
GenomeMatcher: A graphical user interface for DNA sequence comparison
Background: The number of available genome sequences is increasing, and easy-to-use software that enables efficient comparative analysis is needed. Results: We developed GenomeMat...
Yoshiyuki Ohtsubo, Wakako Ikeda-Ohtsubo, Yuji Naga...
JUCS
2008
140views more  JUCS 2008»
13 years 9 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch
DAC
2006
ACM
14 years 10 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
WWW
2008
ACM
14 years 10 months ago
Emergence of terminological conventions as an author-searcher coordination game
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...
David Bodoff, Sheizaf Rafaeli
WWW
2006
ACM
14 years 10 months ago
Finding specification pages according to attributes
This paper presents a method for finding a specification page on the web for a given object (e.g., "Titanic") and its class label (e.g., "film"). A specificati...
Naoki Yoshinaga, Kentaro Torisawa