6253 search results - page 405 / 1251 » Use Case Modeling Guidelines |
129
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the rate allocation problem for multiple-description quantization of the signal described by an adaptive model with a fixed structure. The source modeling in coding g...
158
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
139
click to vote
ISQED
2007
IEEE
15 years 11 months ago
2007
IEEE
Parameter variation in integrated circuits causes sections of a chip to be slower than others. To prevent any resulting timing errors, designers have traditionally designed for th...
122
Voted
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
150
click to vote
WAPCV
2007
Springer
15 years 11 months ago
2007
Springer
We present a biologically plausible computational model for solving the visual feature binding problem. The binding problem appears to be due to the distributed nature of visual pr...