926 search results - page 171 / 186 » Prolog as the First Programming Language |
CORR
2000
Springer
14 years 11 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
INFORMATICALT
2000
14 years 11 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
121
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
108
click to vote
ICOODB
2009
14 years 9 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
135
click to vote
LOGCOM
2010
14 years 6 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...