3663 search results - page 450 / 733 » Problems in the ontology of computer programs |
135
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
284
click to vote
WAE
2001
15 years 8 months ago
2001
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
193
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
266
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
195
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...