Sciweavers

5523 search results - page 946 / 1105
» Improving application performance with hardware data structu...
Sort
View
ASM
2003
ASM
15 years 9 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
SIGSOFT
2007
ACM
16 years 5 months ago
Does a programmer's activity indicate knowledge of code?
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
Thomas Fritz, Gail C. Murphy, Emily Hill
BIBE
2007
IEEE
169views Bioinformatics» more  BIBE 2007»
15 years 10 months ago
Combining Semantics, Context, and Statistical Evidence in Genomics Literature Search
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
Jay Urbain, Nazli Goharian, Ophir Frieder
119
Voted
ICPR
2006
IEEE
16 years 5 months ago
Boosted Gabor Features Applied to Vehicle Detection
Robust vehicle detection is a challenging task given vehicles with different types, and sizes, and at different distances. This paper proposes a Boosted Gabor Features (BGF) appro...
Chong Sun, Hong Cheng, Nanning Zheng
INFOCOM
2007
IEEE
15 years 10 months ago
Separability and Topology Control of Quasi Unit Disk Graphs
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...
Jianer Chen, Anxiao Jiang, Iyad A. Kanj, Ge Xia, F...