19866 search results - page 214 / 3974 » Computing all factorizations in *** |
164
click to vote
TOPLAS
2008
15 years 6 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
143
click to vote
MIG
2010
Springer
15 years 4 months ago
2010
Springer
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
163
click to vote
SIAMSC
2010
15 years 1 months ago
2010
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
181
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Suffr uses Wiki to facilitate corporate governance. Suffr allows a group's members to administer a computer system and its information resources collectively. Categories and ...
157
click to vote
FCCM
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract: Molecular Dynamics (MD) is of central importance to computational chemistry and its myriad applications. Here we show that, at even a preliminary stage of development, MD...