Sciweavers

11973 search results - page 443 / 2395
» Methods for organizational development
Sort
View
TSP
2008
107views more  TSP 2008»
15 years 7 months ago
On Energy-Based Acoustic Source Localization for Sensor Networks
In this paper, energy-based localization methods for source localization in sensor networks are examined. The focus is on least-squares-based approaches due to a good tradeoff betw...
Chartchai Meesookho, Urbashi Mitra, Shrikanth Nara...
CGO
2011
IEEE
14 years 11 months ago
A trace-based Java JIT compiler retrofitted from a method-based compiler
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Tos...
CVPR
2012
IEEE
13 years 10 months ago
Computing nearest-neighbor fields via Propagation-Assisted KD-Trees
Matching patches between two images, also known as computing nearest-neighbor fields, has been proven a useful technique in various computer vision/graphics algorithms. But this ...
Kaiming He, Jian Sun
ICIP
2005
IEEE
16 years 9 months ago
Countering oversegmentation in partitioning-based connectivities
A new theoretical development is presented for handling the over-segmentation problem in partitioning-based connected openings. The definition we propose treats singletons generat...
Georgios K. Ouzounis, Michael H. F. Wilkinson
176
Voted
CAISE
2005
Springer
16 years 1 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly