262 search results - page 31 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
158
click to vote
SDM
2007
SIAM
15 years 5 months ago
2007
SIAM
Topic modeling techniques have widespread use in text data mining applications. Some applications use batch models, which perform clustering on the document collection in aggregat...
138
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
137
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
135
click to vote
AAAI
1998
15 years 5 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
156
click to vote
IHI
2010
14 years 10 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...