8874 search results - page 320 / 1775 » A New Implementation of Automath |
167
click to vote
EUROCAST
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we present a new approximation in Natural Language Processing (nlp) aimed at knowledge representation and acquisition using a formal syntactic frame. In practice, we...
152
click to vote
FSTTCS
2007
Springer
16 years 28 days ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
168
click to vote
ICDT
2007
ACM
16 years 27 days ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
171
click to vote
LSSC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an extension of an update technique for preconditioners for sequences of non-symmetric linear systems that was proposed in [5]. In addition, we describe an ide...
170
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper describes a new architecture for a cellular processor array integrated circuit, which operates in both discreteand continuous-time domains. Asynchronous propagation ...