7167 search results - page 231 / 1434 » A Technique for Invariant Generation |
189
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Shift-invariant linear algorithms can be described completely by the algorithm's response to an impulse input. The so called impulse response can be used as filter kernels wh...
203
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
— In a rice sorting system, the separation distance of one grain from another is determined by the amount of time taken to process the image of each grain. The closer the separat...
186
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
190
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents an approach to vision-based simultaneous localization and mapping (SLAM). Our approach uses the scale invariant feature transform (SIFT) as features and app...
195
click to vote
HYBRID
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...