8582 search results - page 11 / 1717 » Here or There |
SIROCCO
2001
13 years 10 months ago
2001
This paper considers the design of a survivable WDM network based on covering the initial network with sub-networks, which are protected independently from each other. We focus on...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
An Overview of the new workshop on Accountability and Traceability in Global Software Engineering (ATGSE2007) will be introduced here.
ICANN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Capturing regularities in high-dimensional data is an important problem in machine learning and signal processing. Here we present a statistical model that learns a nonli...
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce here a rewrite system in the group of unimodular matrices, i.e., matrices with integer entries and with determinant