7167 search results - page 1195 / 1434 » A Technique for Invariant Generation |
179
click to vote
JSA
1998
15 years 7 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
197
click to vote
NAR
2002
15 years 7 months ago
2002
The Gene Expression Omnibus (GEO) project was initiated in response to the growing demand for a public repository for high-throughput gene expression data. GEO provides a flexible...
225
click to vote
NECO
1998
15 years 7 months ago
1998
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
215
click to vote
PAA
2002
15 years 7 months ago
2002
: This paper presents a motion segmentation method useful for representing efficiently a video shot as a static mosaic of the background plus sequences of the objects moving in the...
221
click to vote
SIMULATION
1998
15 years 7 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...