15792 search results - page 125 / 3159 » Computational Abstraction Steps |
BIRTHDAY
2009
Springer
14 years 1 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
CAV
2007
Springer
14 years 3 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The processing steps required for geographic information retrieval include many steps that are common to all forms of information retrieval, e.g. stopword filtering, ste...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 9 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
ACSD
2010
IEEE
13 years 7 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....