10935 search results - page 402 / 2187 » Neural Programming Language |
147
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
152
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
214
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
228
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
165
click to vote
MATES
2004
Springer
16 years 7 days ago
2004
Springer
The article presents a general model of the emergence of social order in multi-agent-systems (MAS). The agents consist of two types of neural networks that have the task to generat...