18090 search results - page 3010 / 3618 » Computing by Only Observing |
198
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
139
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
197
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Due to the increasingly di culty of discovering patterns in real-world databases using only conventional OLAP tools, an automated process such as data mining is currently essentia...
227
click to vote
IEAAIE
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
195
click to vote
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...