ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
Modern wearable computer designs package workstation level performance in systems small enough to be worn as clothing. These machines enable technology to be brought where it is n...
ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
ASSISTIVE
1998
Springer
14 years 8 hour ago
1998
Springer
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
There are various algorithms known for deciding the parametrizability (rationality) of a plane algebraic curve, and if the curve is rational, actually computing a parametrization....
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
AISC
1998
Springer
14 years 9 hour ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...