6020 search results - page 1075 / 1204 » A New Approach to Model Counting |
142
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
Current camera-monitor teleconferencing applications produce unrealistic imagery and break any sense of presence for the participants. Other capture/display technologies can be us...
195
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
With the development of magnetic resonance imaging techniques for acquiring diffusion tensor data from biological tissue, visualization of tensor data has become a new research fo...
194
click to vote
CA
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a new approach for establishing correspondence between two homeomorphic 3D polyhedral models. The user can specify corresponding feature pairs on the polyhedra with a s...
151
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
142
Voted
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results on a new approach to partitioning a modulo-scheduled loop for distributed execution on parallel clusters of functional units organized as a VLIW machin...