3552 search results - page 183 / 711 » Proof theory in the abstract |
132
click to vote
CACM
2002
15 years 6 months ago
2002
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
177
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
167
click to vote
CIE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
193
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
155
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: This paper proposes a way to identify professional knowledge in a heterogeneous HCI (HumanComputer Interaction) community of usability professionals, designers and resear...