171 search results - page 22 / 35 » Implicit Moment Invariants |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
SIGMETRICS
2000
ACM
13 years 12 months ago
2000
ACM
In this paper we analyze the performance of a TCP-like flow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate;...
IUI
2012
ACM
12 years 3 months ago
2012
ACM
The status updates posted to social networks, such as Twitter and Facebook, contain a myriad of information about what people are doing and watching. During events, such as sports...
VISUAL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Trademark image retrieval is becoming an important application for logo registry, veri cation, and design. There are two major problems about the current approaches to tr...
CIARP
2010
Springer
13 years 2 months ago
2010
Springer
Shape representation provides fundamental features for many applications in computer vision and it is known to be important cues for human vision. This paper presents an experiment...