6020 search results - page 820 / 1204 » A New Approach to Model Counting |
172
Voted
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
173
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
150
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In cellular systems a large reuse distance reduces cochannel interference while a small reuse distance increases bandwidth allocated to each cell. The optimal reuse dis...
152
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Decoding noisy document images is commonly needed in applications such as enterprise content management. Available OCR solutions are still not satisfactory especially on noisy ima...
156
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...