Sciweavers

16844 search results - page 362 / 3369
» How to Design Programs
Sort
View
EUROCAST
1994
Springer
139views Hardware» more  EUROCAST 1994»
15 years 11 months ago
Illustrating Constraint Programming Systems in Logistic Planning
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
Jean-Michel Thizy
CTCS
1989
Springer
15 years 10 months ago
A Category-theoretic Account of Program Modules
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
Eugenio Moggi
SIGPLAN
2008
15 years 6 months ago
Programming languages in a liberal arts education
Liberal arts curricula emphasize breadth of a student's educational experience, critical reasoning, and intellectual discourse to a greater degree than pre-professional train...
Kim B. Bruce, Stephen N. Freund
BMCBI
2006
112views more  BMCBI 2006»
15 years 6 months ago
GENOMEMASKER package for designing unique genomic PCR primers
Background: The design of oligonucleotides and PCR primers for studying large genomes is complicated by the redundancy of sequences. The eukaryotic genomes are particularly diffic...
Reidar Andreson, Eric Reppo, Lauris Kaplinski, Mai...
CHI
2008
ACM
16 years 7 months ago
The design of gaze behavior for embodied social interfaces
Non-verbal behavior, particularly gaze, is a crucial part of human communication. To interact with humans in a rich, natural way, social interfaces need to use this communicative ...
Bilge Mutlu