Sciweavers

235 search results - page 46 / 47
» CommentSpace: structured support for collaborative visual an...
Sort
View
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
13 years 10 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
WCRE
1999
IEEE
13 years 10 months ago
Chava: Reverse Engineering and Tracking of Java Applets
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
Jeffrey L. Korn, Yih-Farn Chen, Eleftherios Koutso...
AAAI
2006
13 years 7 months ago
Salience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images
Visual cortex neurons have receptive fields resembling oriented bandpass filters, and their response distributions on natural images are non-Gaussian. Inspired by this, we previou...
Subramonia Sarma, Yoonsuck Choe
BMCBI
2006
103views more  BMCBI 2006»
13 years 5 months ago
Cis-motifs upstream of the transcription and translation initiation sites are effectively revealed by their positional disequili
Background: The discovery of cis-regulatory motifs still remains a challenging task even though the number of sequenced genomes is constantly growing. Computational analyses using...
Kenneth W. Berendzen, Kurt Stüber, Klaus Hart...
BMCBI
2010
149views more  BMCBI 2010»
13 years 5 months ago
S3DB core: a framework for RDF generation and management in bioinformatics infrastructures
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
Jonas S. Almeida, Helena F. Deus, Wolfgang Maass