3229 search results - page 145 / 646 » Theories with the Independence Property |
90
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
HT
2004
ACM
15 years 6 months ago
2004
ACM
While much attention is paid to defining and examining interactions with links, little is paid to the front end: the anchor. We examine what an anchor is, describe six anchor prop...
83
Voted
ISMVL
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
103
Voted
COSIT
1999
Springer
15 years 5 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
100
Voted
IMAGING
2004
15 years 2 months ago
2004
A computer simulation was performed to investigate the optimum combinations of three- and four-chromatic inks in order to maximize the color gamut for halftone printing. A virtual...