Sciweavers

1036 search results - page 65 / 208
» Report on INEX 2009
Sort
View
IWPC
2009
IEEE
16 years 28 days ago
Who can help me with this change request?
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
Huzefa H. Kagdi, Denys Poshyvanyk
TPHOL
2009
IEEE
16 years 28 days ago
VCC: A Practical System for Verifying Concurrent C
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, ...
ACCV
2009
Springer
16 years 28 days ago
Twisted Cubic: Degeneracy Degree and Relationship with General Degeneracy
Fundamental matrix, drawing geometric relationship between two images, plays an important role in 3-dimensional computer vision. Degenerate configurations of space points and two ...
Tian Lan, Yihong Wu, Zhanyi Hu
ACCV
2009
Springer
16 years 28 days ago
Levels of Details for Gaussian Mixture Models
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
Vincent Garcia, Frank Nielsen, Richard Nock
ADC
2009
Springer
141views Database» more  ADC 2009»
16 years 28 days ago
Event-based Communication for Location-based Service Collaboration
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
Annika Hinze, Yann Michel, Lisa Eschner