1942 search results - page 204 / 389 » Matroids from modules |
134
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
108
click to vote
ICMI
2000
Springer
15 years 6 months ago
2000
Springer
A system is proposed to recognize handwritten numerals in both Devnagri (Hindi) and English. It is assumed at a time the numerals will be of one of the above two scripts and there...
116
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
144
click to vote
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
111
click to vote
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...