Sciweavers

975 search results - page 182 / 195
» Using language as related stimuli for concept generation
Sort
View
101
Voted
BMCBI
2008
154views more  BMCBI 2008»
15 years 15 days ago
Extension of the COG and arCOG databases by amino acid and nucleotide sequences
Background: The current versions of the COG and arCOG databases, both excellent frameworks for studies in comparative and functional genomics, do not contain the nucleotide sequen...
Florian Meereis, Michael Kaufmann
SEMWEB
2004
Springer
15 years 5 months ago
Towards a Symptom Ontology for Semantic Web Applications
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
Kenneth Baclawski, Christopher J. Matheus, Mieczys...
ASPLOS
2008
ACM
15 years 2 months ago
Optimistic parallelism benefits from data partitioning
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
Milind Kulkarni, Keshav Pingali, Ganesh Ramanaraya...
POPL
2011
ACM
14 years 3 months ago
Decidable logics combining heap structures and data
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
104
Voted
SIGLEX
1991
15 years 3 months ago
Presuppositions and Default Reasoning: A Study in Lexical Pragmatics
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
Robert E. Mercer