Sciweavers

1086 search results - page 31 / 218
» Programming by Numbers: A Programming Method for Novices
Sort
View
ENTCS
2006
94views more  ENTCS 2006»
15 years 1 months ago
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
Cliff B. Jones
VL
2006
IEEE
100views Visual Languages» more  VL 2006»
15 years 8 months ago
Mica: A Web-Search Tool for Finding API Components and Examples
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
Jeffrey Stylos, Brad A. Myers
STOC
2007
ACM
117views Algorithms» more  STOC 2007»
16 years 2 months ago
A combinatorial, primal-dual approach to semidefinite programs
Semidefinite programs (SDP) have been used in many recent approximation algorithms. We develop a general primal-dual approach to solve SDPs using a generalization of the well-know...
Sanjeev Arora, Satyen Kale
EUROGP
2000
Springer
177views Optimization» more  EUROGP 2000»
15 years 5 months ago
Register Based Genetic Programming on FPGA Computing Platforms
The use of FPGA based custom computing platforms is proposed for implementing linearly structured Genetic Programs. Such a context enables consideration of micro architectural and ...
Malcolm I. Heywood, A. Nur Zincir-Heywood
134
Voted
BIBM
2010
IEEE
161views Bioinformatics» more  BIBM 2010»
14 years 12 months ago
Cis-regulatory module detection using constraint programming
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same t...
Tias Guns, Hong Sun, Kathleen Marchal, Siegfried N...