4190 search results - page 172 / 838 » Type Class Directives |
145
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
109
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
125
click to vote
UAI
2008
15 years 5 months ago
2008
We conjecture that the worst case number of experiments necessary and sufficient to discover a causal graph uniquely given its observational Markov equivalence class can be specif...
134
Voted
VISSYM
2004
15 years 5 months ago
2004
In volume visualization, users typically specify transfer functions to classify the data and assign visual attributes to each material class. Higher-dimensional classification mak...
126
click to vote
EC
2008
15 years 4 months ago
2008
We present a statistical model of empirical optimization that admits the creation of algorithms with explicit and intuitively defined desiderata. Because No Free Lunch theorems di...