Sciweavers

2416 search results - page 61 / 484
» The Language of Cortical Dynamics
Sort
View
MEMBRANE
2004
Springer
14 years 2 months ago
LMNtal: A Language Model with Links and Membranes
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
Kazunori Ueda, Norio Kato
JFPLC
1998
13 years 10 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz
DEDUCTIVE
1994
133views Database» more  DEDUCTIVE 1994»
13 years 10 months ago
Expressive Power of Non-Deterministic Operators for Logic-based Languages
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...
CSO
2009
IEEE
13 years 10 months ago
The Temporal-Spatial Modeling of Vocabulary for Language Monitoring
In order to extract catchwords, new words and other kinds of words for language monitoring, this paper propose the temporal-spatial modeling, which seemed the sort of words as the...
Wei He, Yu Zou, Yonglin Teng, Min Hou, Weibin Zhu
GI
2009
Springer
14 years 1 months ago
True Lies: Lazy Contracts for Lazy Languages
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...
Markus Degen, Peter Thiemann, Stefan Wehr