Sciweavers

1573 search results - page 212 / 315
» Picture Programming Project
Sort
View
105
Voted
BMCBI
2006
110views more  BMCBI 2006»
15 years 2 months ago
preAssemble: a tool for automatic sequencer trace data processing
Background: Trace or chromatogram files (raw data) are produced by automatic nucleic acid sequencing equipment or sequencers. Each file contains information which can be interpret...
Alexei A. Adzhubei, Jon K. Laerdahl, Anna V. Vlaso...
123
Voted
ENTCS
2006
151views more  ENTCS 2006»
15 years 2 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
137
Voted
ENTCS
2007
120views more  ENTCS 2007»
15 years 2 months ago
A Framework for Interpreting Traces of Functional Logic Computations
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
Bernd Braßel
122
Voted
MP
2008
99views more  MP 2008»
15 years 2 months ago
Compact formulations as a union of polyhedra
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
Michele Conforti, Laurence A. Wolsey
95
Voted
EXPERT
2000
89views more  EXPERT 2000»
15 years 2 months ago
A Laboratory Course in Behavior-Based Robotics
The Behavior-Based Robotics course at Northwestern University is a project-oriented course that gives undergraduate and graduate students exposure to programming research-grade ro...
Ian Horswill