959 search results - page 119 / 192 » On the implementation of automatic differentiation tools |
120
click to vote
SEBD
2007
15 years 5 months ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
137
Voted
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
119
click to vote
IPAW
2010
15 years 1 months ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...
138
click to vote
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...