1364 search results - page 124 / 273 » Comparative Branching-Time Semantics |
107
click to vote
COGSCI
2010
15 years 3 months ago
2010
Previous research indicates that mental representations of word meanings are distributed along both semantic and syntactic dimensions such that nouns and verbs are relatively dist...
129
click to vote
FUIN
2008
15 years 3 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
173
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
128
Voted
SWAP
2008
15 years 4 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
149
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes an effective approach to provide relevant search terms for conceptual Web search. ‘Semantic Term Suggestion’ function has been included so that users can f...