572 search results - page 52 / 115 » Functional Test Generation using Constraint Logic Programmin... |
112
click to vote
ICLP
2004
Springer
15 years 4 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
ENTCS
2008
14 years 11 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
WCFLP
2005
ACM
15 years 4 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
112
Voted
BMCBI
2008
14 years 11 months ago
2008
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...