6258 search results - page 990 / 1252 » Applied Text Generation |
158
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
136
click to vote
WABI
2005
Springer
15 years 10 months ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...
143
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
101
click to vote
ACMACE
2004
ACM
15 years 10 months ago
2004
ACM
Video Poker in Australia is on the verge of extinction. These machines are being replaced in casinos as it is claimed they generate less money than the traditional slot machines. ...
145
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
- Under manufacturing process variation, a path through a fault site is called longest for delay test if there exists a process condition under which the path has the maximum delay...