19936 search results - page 143 / 3988 » Inductive process modeling |
193
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
141
click to vote
IADIS
2008
15 years 7 months ago
2008
Data mining has emerged to address the problem of transforming data into useful knowledge. Although most data mining techniques, such as Association Rules, substantially reduce th...
141
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Enabling virtual agents to quickly and accurately infer users’ psychological characteristics such as their personality could support a broad range of applications in education, t...
223
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes a new design methodology to analyze the on-chip power supply noise for high performance microprocessors. Based on an integrated package-level and chip-level p...
165
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...