391 search results - page 17 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
111
click to vote
SIGGRAPH
2000
ACM
15 years 5 months ago
2000
ACM
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
144
Voted
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
— Adaptive network coded cooperation (ANCC) has been proposed as an effective scheme to combine network and channel coding for cooperative wireless networks by matching network-o...
117
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
123
Voted
HPCA
2007
IEEE
16 years 28 days ago
2007
IEEE
If-conversion is a compiler technique that reduces the misprediction penalties caused by hard-to-predict branches, transforming control dependencies into data dependencies. Althou...
94
Voted
SBCCI
2004
ACM
15 years 6 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...