2920 search results - page 454 / 584 » Finite information logic |
181
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
169
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
200
click to vote
EMNLP
2009
15 years 4 months ago
2009
We present the first unsupervised approach to the problem of learning a semantic parser, using Markov logic. Our USP system transforms dependency trees into quasi-logical forms, r...
206
click to vote
GCA
2009
15 years 4 months ago
2009
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...
177
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...