6020 search results - page 831 / 1204 » A New Approach to Model Counting |
201
click to vote
CG
1998
Springer
15 years 6 months ago
1998
Springer
We are investigating techniques for providing smooth transitions when simplifying large, static geometric models with texture-based representations (or impostors). Traditionally, ...
178
click to vote
LOGCOM
2002
15 years 6 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
188
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose a new technique, referred to as MultiWafer Virtual Probe (MVP) to efficiently model wafer-level spatial variations for nanoscale integrated circuits. Tow...
172
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a new passive image formation method capable of exploiting information about multiple scattering in the environment using measurements from a sparse array of receivers ...
217
Voted
ISAAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...