2969 search results - page 498 / 594 » A space efficient algorithm for group structure computation |
162
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
139
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present the complete design and architectural details of MAIZEROUTER. MAIZEROUTER reflects a significant leap in progress over existing publicly available routing...
167
click to vote
AAAI
2000
15 years 7 months ago
2000
Rational decision making requires full knowledge of the utility function of the person affected by the decisions. However, in many cases, the task of acquiring such knowledge is n...
161
click to vote
JGTOOLS
2006
15 years 6 months ago
2006
We propose a new hardware ray casting algorithm for unstructured meshes composed of tetrahedral cells. Our work builds on the technique published at IEEE Visualization 2003 by Wei...
192
click to vote
AVBPA
2003
Springer
15 years 10 months ago
2003
Springer
There are two main approaches to the problem of gender classification, Support Vector Machines (SVMs) and Adaboost learning methods, of which SVMs are better in correct rate but ar...