5622 search results - page 636 / 1125 » Solving architectural modelling problems using knowledge |
210
click to vote
ASWEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
228
click to vote
CADE
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
200
click to vote
ICDM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—It is now widely accepted that in many situations where classifiers are deployed, adversaries deliberately manipulate data in order to reduce the classifier’s accura...
251
click to vote
ICLP
2003
Springer
16 years 24 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
226
click to vote
RT
1998
Springer
15 years 11 months ago
1998
Springer
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...