3446 search results - page 376 / 690 » A Reasoning Algorithm for pD* |
198
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Clock meshes are extremely effective at filtering clock skew from environmental and process variations. For this reason, clock meshes are used in most high performance designs. Ho...
195
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
161
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
In many applications of data mining we know beforehand that the response variable should be increasing (or decreasing) in the attributes. Such relations between response and attrib...
212
click to vote
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
15 years 1 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
190
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper develops algorithms to train support vector machines when training data are distributed across different nodes, and their communication to a centralized processing unit...