105 search results - page 16 / 21 » Verifying an Applicative ATP Using Multiset Relations |
JIRS
2007
13 years 7 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
COMPGEOM
1997
ACM
13 years 11 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
JSCIC
2007
13 years 7 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
A significant proportion of research in the field of tangible interaction involves children. A common aspiration is to offer benefits through tangibility, related to ease of use a...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...