3750 search results - page 441 / 750 » Timed Automata Patterns |
126
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
134
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Classic mixture models assume that the prevalence of the various mixture components is fixed and does not vary over time. This presents problems for applications where the goal is...
106
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
The Prefix table of a string reports for each position the maximal length of its prefixes starting here. The Prefix table and its dual Suffix table are basic tools used in the d...
132
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
133
click to vote
DDECS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...