Sciweavers

3901 search results - page 33 / 781
» software 2008
Sort
View
FASE
2008
Springer
15 years 5 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
80
Voted
FSTTCS
2008
Springer
15 years 4 months ago
A new approach to the planted clique problem
Alan M. Frieze, Ravi Kannan
105
Voted
AGILEDC
2008
IEEE
15 years 3 months ago
Remote Mentoring a Distributed Agile Team
J. Jagadish Shrinivasavadhani, Vinod Panicker
88
Voted
SOCO
2008
Springer
15 years 3 months ago
Content based audio classification: a neural network approach
Vikramjit Mitra, Chia-Jiu Wang