Sciweavers

587 search results - page 19 / 118
» Compactness of Loeb Spaces
Sort
View
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
13 years 11 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
SPIRE
2007
Springer
14 years 1 months ago
A Fast and Compact Web Graph Representation
Compressed graphs representation has become an attractive research topic because of its applications to the manipulation of huge Web graphs in main memory. By far the best current ...
Francisco Claude, Gonzalo Navarro
FUZZIEEE
2007
IEEE
13 years 9 months ago
Consistent, Complete and Compact Generation of DNF-type Fuzzy Rules by a Pittsburgh-style Genetic Algorithm
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
Jorge Casillas, Pedro Martínez
JLP
2008
79views more  JLP 2008»
13 years 7 months ago
A Hofmann-Mislove theorem for bitopological spaces
We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. ...
Achim Jung, M. Andrew Moshier
APAL
2010
69views more  APAL 2010»
13 years 7 months ago
Cardinal sequences of LCS spaces under GCH
Let C() denote the class of all cardinal sequences of length associated with compact scattered spaces. Also put C() = {f C() : f(0) = = min[f() : < ]}. If is a cardinal an...
Juan Carlos Martinez, Lajos Soukup