2602 search results - page 155 / 521 » Semantic Analysis of 'to' |
173
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The functional characterization of newly discovered proteins has been a challenge in the post-genomic era. Protein-protein interactions provide insights into the funct...
162
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
170
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
140
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
The paper argues that the communicative system of touch includes a lexicon, an alphabet and some norms of use, and presents a research aimed at making them explicit. 104 items of t...
218
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...