2440 search results - page 449 / 488 » Data-Intensive Question Answering |
159
click to vote
ISW
2007
Springer
16 years 3 days ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
175
click to vote
SAT
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
165
click to vote
SOFSEM
2007
Springer
16 years 2 days ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
167
click to vote
FOCS
2006
IEEE
16 years 14 hour ago
2006
IEEE
An additive spanner of an unweighted undirected graph G with distortion d is a subgraph H such that for any two vertices u, v ∈ G, we have δH(u, v) ≤ δG(u, v) + d. For every...
142
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— Online gaming is one of the most profitable businesses on the Internet. Among various threats to continuous player subscriptions, network lags are particularly notorio...