Sciweavers

1406 search results - page 113 / 282
» Similarity in Programs
Sort
View
CORR
2008
Springer
94views Education» more  CORR 2008»
14 years 10 months ago
A Toolkit for Scalable Spreadsheet Visualization
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
Markus Clermont
IJDE
2006
101views more  IJDE 2006»
14 years 10 months ago
Google Desktop as a Source of Digital Evidence
This paper discusses the emerging trend of Personal Desktop Searching utilities on desktop computers, and how the information cached and stored with these systems can be retrieved...
Benjamin Turnbull, Barry Blundell, Jill Slay
ENTCS
2007
107views more  ENTCS 2007»
14 years 10 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
NAR
2006
129views more  NAR 2006»
14 years 10 months ago
AliWABA: alignment on the web through an A-Bruijn approach
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
Neil C. Jones, Degui Zhi, Benjamin J. Raphael
ICGA
2007
102views Optimization» more  ICGA 2007»
14 years 10 months ago
Using Bitboards for Move Generation in Shogi
In this paper it will be explained how to use bitboards for move generation in shogi. In chess, bitboards have been used in most strong programs because of the easy representation...
Reijer Grimbergen