433 search results - page 68 / 87 » Building an Interpreter with Vmgen |
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
FOIS
2010
13 years 9 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
SDM
2008
SIAM
13 years 9 months ago
2008
SIAM
Gene expression information from microarray experiments is a primary form of data for biological analysis and can offer insights into disease processes and cellular behaviour. Suc...
IADIS
2003
13 years 9 months ago
2003
The social concept “fragmented group” – is disabling people because it does not provide access to products and services to an enormous segment. Nobody, if they consciously t...
EJC
2003
13 years 9 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...