11561 search results - page 360 / 2313 » A Language for Biochemical Systems |
200
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
164
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
174
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
174
click to vote
ITP
2010
15 years 8 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
293
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
An N-gram language model aims at capturing statistical word order dependency information from corpora. Although the concept of language models has been applied extensively to handl...