2748 search results - page 546 / 550 » Generating Object-Z Specifications from Use Cases |
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Video-based multiple target tracking (MTT) is a challenging task when similar targets are present in close vicinity. Because their visual observations are mixed and difficult to s...
MSWIM
2009
ACM
15 years 4 months ago
2009
ACM
It is common practice in wireless multihop network evaluations to ignore interfering signals below a certain signal strength threshold. This paper investigates the thesis that thi...
80
Voted
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
DIALM
2004
ACM
15 years 3 months ago
2004
ACM
We present three localized techniques for broadcasting in large scale ad hoc networks, i.e., for the problem of disseminating a message from a source node to all the nodes in the ...