1824 search results - page 149 / 365 » interfaces 2006 |
135
click to vote
IANDC
2007
15 years 4 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
115
click to vote
PR
2006
15 years 4 months ago
2006
Acoustic events produced in controlled environments may carry information useful for perceptually aware interfaces. In this paper we focus on the problem of classifying 16 types o...
IIE
2007
15 years 4 months ago
2007
A web application has been developed using the Microsoft .NET technology, which allows to use the Mathematica software from any personal computer connected to Internet. It is not n...
149
click to vote
IJCSA
2007
15 years 4 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
114
click to vote
IJON
2007
15 years 4 months ago
2007
Recent progress in chips–neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step ning such computing systems is to bu...