Search Sciweavers | Sciweavers

10435 search results - page 298 / 2087

» Computational Biology and Language

135

click to vote

SIGCSE
2006
ACM

170views Education» more SIGCSE 2006»

MARS: an education-oriented MIPS assembly language simulator

16 years 20 days ago

Download courses.missouristate.edu

We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...

Kenneth Vollmar, Pete Sanderson

claim paper

Read More »

177

click to vote

MKM
2004
Springer

106views Information Technology» more MKM 2004»

Flexible Encoding of Mathematics on the Computer

16 years 2 days ago

Download www.cedar-forest.org

This paper reports on reﬁnements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...

Fairouz Kamareddine, Manuel Maarek, J. B. Wells

claim paper

Read More »

198

click to vote

ESOP
2008
Springer

184views Programming Languages» more ESOP 2008»

Verification of Higher-Order Computation: A Game-Semantic Approach

15 years 8 months ago

Download users.comlab.ox.ac.uk

Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...

C.-H. Luke Ong

claim paper

Read More »

179

click to vote

POLICY
2007
Springer

98views Computer Networks» more POLICY 2007»

Privacy in the Semantic Web: What Policy Languages Have to Offer

16 years 25 days ago