7167 search results - page 86 / 1434 » A Technique for Invariant Generation |
170
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
162
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— In this paper, we present several techniques for lowpower design, including a descriptor-based low-power scheduling algorithm, design of dynamic voltage generator, and ...
161
click to vote
PAKDD
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...
166
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We describe a system that automatically generates varied geometric models of human faces. A collection of random measurements of the face is generated according to anthropometric ...
177
click to vote
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the difference between Persistent Random Constants (PRC) and Digit Concatenation as methods for generating constants. It has been shown that certain problems hav...