1582 search results - page 211 / 317 » Mathematical Tools for Physics |
109
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
110
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
The aggregation and comparison of behavioral patterns on the WWW represent a tremendous opportunity for understanding past behaviors and predicting future behaviors. In this paper...
105
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Measuring distance or some other form of proximity between objects is a standard data mining tool. Connection subgraphs were recently proposed as a way to demonstrate proximity be...
KDD
2005
ACM
16 years 1 months ago
2005
ACM
In several organizations, it has become increasingly popular to document and log the steps that makeup a typical business process. In some situations, a normative workflow model o...
103
click to vote
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...