4502 search results - page 260 / 901 » Regular Model Checking |
170
Voted
CAV
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
142
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
174
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
175
Voted
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Dimensionality reduction via feature projection has been widely used in pattern recognition and machine learning. It is often beneficial to derive the projections not only based o...
179
click to vote
WEBDB
2000
Springer
15 years 10 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...