2850 search results - page 381 / 570 » On Timed Models and Full Abstraction |
212
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
195
click to vote
PE
2010
Springer
15 years 5 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
228
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
This paper uncovers a new phenomenon in web search that we call domain bias — a user’s propensity to believe that a page is more relevant just because it comes from a particul...
221
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
154
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. An important task in object recognition is to enable algorithms to categorize objects under arbitrary poses in a cluttered 3D world. A recent paper by Savarese & Fei-...