1414 search results - page 106 / 283 » Combining Intruder Theories |
157
click to vote
JDA
2010
15 years 15 days ago
2010
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
163
click to vote
DLOG
2011
14 years 9 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
180
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
Schulenburg [15] first proposed the idea to model different trader types by supplying different input information sets to a group of homogenous LCS agent. Gershoff [12] investigat...
162
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
134
click to vote
DIS
2003
Springer
15 years 11 months ago
2003
Springer
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...