2956 search results - page 24 / 592 » Databases and Higher Types |
NAR
2011
14 years 17 days ago
2011
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
107
click to vote
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
CSEE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
SPEAKERC
2007
Springer
15 years 3 months ago
2007
Springer
Higher-level features based on linguistic or long-range information have attracted significant attention in automatic speaker recognition. This article briefly summarizes approac...