3359 search results - page 85 / 672 » Evaluating Significance of Inconsistencies |
UIST
2000
ACM
15 years 2 months ago
2000
ACM
TopicShop is an interface that helps users evaluate and organize collections of web sites. The main interface components are site profiles, which contain information that helps us...
PEPM
1994
ACM
15 years 2 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
We compare existing component technologies for embedded systems with respect to industrial requirements. The requirements are collected from the vehicular industry, but our findin...
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper describes the control and ergonomic evaluation of a ceiling mounted (or support frame suspended) 7-axis surgical robot (HISAR)f o r laparoscopic camera navigation. A ke...