2239 search results - page 252 / 448 » Computing with abstract matrix structures |
111
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
107
click to vote
IEEEMSP
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper discusses encryption operations that selectively encrypt content-carrying segments of multimedia data stream. We propose and analyze three techniques that wo...
124
Voted
COCOON
1999
Springer
15 years 7 months ago
1999
Springer
Abstract: We propose a new approach for speeding up enumeration algorithms. The approach does not rely on data structures deeply, instead utilizes analysis of computation time. It ...
132
click to vote
ISMIS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
85
Voted
ANTS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to t...