7820 search results - page 182 / 1564 » Formalization of Time and Space |
241
click to vote
ANSOFT
2002
15 years 7 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
184
click to vote
GLVLSI
2005
IEEE
16 years 21 days ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
190
click to vote
CAIP
1999
Springer
1999
Springer
EigenHistograms: Using Low Dimensional Models of Color Distribution for Real Time Object Recognition
15 years 11 months ago
Abstract. Distribution of object colors has been used in computer vision for recognition and indexing. Most of the recent approaches to this problem have been focused on de ning op...
214
click to vote
SSD
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach f...
199
click to vote
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...