4224 search results - page 554 / 845 » Reasoning about Choice |
188
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
179
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
209
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
We propose several localized sensor area coverage protocols, for arbitrary ratio of sensing and transmission radii. Sensors are assumed to be time synchronized, and active sensors...
201
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
195
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...