4155 search results - page 153 / 831 » Topic-Specific Optimization and Structuring |
268
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
In a visualization system, one of the key issues is to optimize performance and visual fidelity. This is especially critical for large virtual environments where the models do not...
159
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
174
click to vote
IROS
2007
IEEE
16 years 24 days ago
2007
IEEE
— Humans have at some point learned an abstraction of the capabilities of their arms. By just looking at the scene they can decide which places or objects they can easily reach a...
163
click to vote
ISCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
162
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...