7167 search results - page 252 / 1434 » A Technique for Invariant Generation |
194
click to vote
ITC
1992
IEEE
15 years 11 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
163
click to vote
EMNLP
2007
15 years 8 months ago
2007
We present a simple history-based model for sentence generation from LFG f-structures, which improves on the accuracy of previous models by breaking down PCFG independence assumpt...
214
click to vote
IICAI
2003
15 years 8 months ago
2003
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...
171
click to vote
FORTE
1998
15 years 8 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
193
click to vote
WSCG
2003
15 years 8 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...