376 search results - page 28 / 76 » Developing Theories of Types and Computability via Realizabi... |
ICEC
1994
13 years 8 months ago
1994
A parallel implementation of a genetic algorithm used to evolve simple analog VLSI circuits is described. The parallel computer system consisted of twenty distributed SPARC workst...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
We develop new structural results for apex-minor-free graphs and show their power by developing two new approximation algorithms. The first is an additive approximation for colorin...
CSIE
2009
IEEE
14 years 2 months ago
2009
IEEE
Knowledge management (KM) is the research field aimed to create, organize, and store explicit knowledge for easy access and manipulation, whereas e-learning is concerned with del...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...