3400 search results - page 124 / 680 » tools 2008 |
INFSOF
2007
13 years 10 months ago
2007
The growing pervasiveness of computer systems is bringing with it more societal reliance on those systems, which in turn is attracting the attention of various legal and political...
IJWET
2008
13 years 8 months ago
2008
: In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based languages, transformations among such languages,...
CIE
2008
Springer
14 years 1 days ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
ASPDAC
2008
ACM
14 years 2 days ago
2008
ACM
-- Nowadays many design space exploration tools are based on Multi
PRL
2008
13 years 10 months ago
2008
A novel method for feature selection and construction is introduced. The method improves the classification accuracy, utilizing the well-established technique of grammatical evolu...