959 search results - page 103 / 192 » On the implementation of automatic differentiation tools |
148
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Background: Databases containing very large amounts of SNP (Single Nucleotide Polymorphism) data are now freely available for researchers interested in medical and/or population g...
131
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
163
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
122
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
137
Voted
FAC
2006
15 years 3 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...