2496 search results - page 202 / 500 » On covering by translates of a set |
154
click to vote
MEDES
2010
ACM
15 years 1 months ago
2010
ACM
We report a novel deployment of so-called UBI-hotspots in a city center to establish an ecosystem infrastructure for conducting diverse urban computing research and business in au...
349
click to vote
BIS
2011
14 years 6 months ago
2011
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
141
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The translational efficiency of an mRNA can be modulated by upstream open reading frames (uORFs) present in certain genes. A uORF can attenuate translation of the main...
192
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
179
click to vote
JAIR
2006
15 years 6 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...