2203 search results - page 422 / 441 » Temporal Abstract Interpretation |
115
click to vote
TCBB
2008
14 years 11 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
TCS
2008
14 years 11 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
112
click to vote
JAIR
2007
14 years 11 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
BMCBI
2005
14 years 11 months ago
2005
Background: Massive text mining of the biological literature holds great promise of relating disparate information and discovering new knowledge. However, disambiguation of gene s...
105
click to vote
JCP
2007
14 years 11 months ago
2007
Abstract— The convergence of the wireline telecom, wireless telecom, and internet networks and the services they provide offers tremendous opportunities in services personalizati...