2036 search results - page 221 / 408 » A generic type-and-effect system |
179
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
196
click to vote
IJSYSC
2010
15 years 4 months ago
2010
This paper deals with the problem of additional sensor location in order to recover the observability of any given part of the state and unknown input for structured linear system...
162
Voted
COLING
2010
15 years 2 months ago
2010
We introduce the novel problem of automatic related work summarization. Given multiple articles (e.g., conference/journal papers) as input, a related work summarization system cre...
180
Voted
NHM
2010
15 years 1 months ago
2010
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
279
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper demonstrates a system for the automatic extraction of novelty in images captured from a small video camera attached to a subject’s chest, replicating his visual persp...