1142 search results - page 48 / 229 » TAST-Trademark Application Assistant |
AAAI
1997
15 years 1 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
WSC
1997
15 years 1 months ago
1997
A simulation model was developed to predict with a certain degree of probability the optimal escape routs from the coastal areas of the Rio Grand Valley. Along with that, the mode...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
We have developed a simulator to help with the design and evaluation of assistive interfaces. The simulator can predict possible interaction patterns when undertaking a task using...
111
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...