6020 search results - page 696 / 1204 » A New Approach to Model Counting |
176
click to vote
HICSS
2003
IEEE
16 years 24 days ago
2003
IEEE
Approaches supporting organizational change must change due to changes in the organizational systems and their environments: organizations must deal with an information overload, ...
226
click to vote
IPPS
2003
IEEE
16 years 24 days ago
2003
IEEE
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...
201
click to vote
WETICE
2003
IEEE
16 years 23 days ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
211
click to vote
ICANN
2003
Springer
16 years 21 days ago
2003
Springer
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
200
click to vote
DATE
2002
IEEE
16 years 14 days ago
2002
IEEE
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified a...