475 search results - page 53 / 95 » An Approach to the Description and Analysis of Hybrid System... |
130
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
109
click to vote
GIAE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
125
click to vote
SPIESR
1998
15 years 2 months ago
1998
We present here a prototype video analysis and retrieval system, called NeTra-V, that is being developed to build an object-based video representation for functionalities such as s...
113
click to vote
NLDB
2000
Springer
15 years 4 months ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
116
click to vote
SAFECOMP
2004
Springer
15 years 6 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...