7123 search results - page 1138 / 1425 » The Ordered Set of Rough Sets |
211
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
182
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
A kindergarten is an interesting community of young children. The children continuously share their interactions and experiences, and grow along similar developmental stages. In t...
195
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
186
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Given a large graph, like a computer network, which k nodes should we immunize (or monitor, or remove), to make it as robust as possible against a computer virus attack? We need (...
182
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Traditional Markov network structure learning algorithms perform a search for globally useful features. However, these algorithms are often slow and prone to finding local optima d...