Sciweavers

1729 search results - page 184 / 346
» Deterministic Expressions in C
Sort
View
CSB
2004
IEEE
103views Bioinformatics» more  CSB 2004»
15 years 8 months ago
Identifying MicroRNAs in Plant Genomes
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
Christopher Maher, Marja Timmermans, Lincoln Stein...
CONCUR
2006
Springer
15 years 8 months ago
Event Structure Semantics for Nominal Calculi
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
LICS
1995
IEEE
15 years 7 months ago
Tree Canonization and Transitive Closure
We prove that tree isomorphism is not expressible in the language (FO + TC + COUNT). This is surprising since in the presence of ordering the language captures NL, whereas tree is...
Kousha Etessami, Neil Immerman
PARLE
1991
15 years 7 months ago
FORK: A High-Level Language for PRAMs
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
Torben Hagerup, Arno Schmitt, Helmut Seidl
AAAI
2008
15 years 6 months ago
Hierarchical Location and Topic Based Query Expansion
In this paper, we propose a novel approach to expand queries by exploring both location information and topic information of the queries. Users at different locations tend to have...
Shu Huang, Qiankun Zhao, Prasenjit Mitra, C. Lee G...