3400 search results - page 220 / 680 » tools 2008 |
158
click to vote
DIMEA
2008
15 years 8 months ago
2008
The vision of Pervasive and Ubiquitous Computing promises that our future environments will be furnished with an increasing number of computationally augmented artifacts. Conseque...
178
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
172
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...
164
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Nonnegative matrix factorization (NMF) has been shown to be an efficient clustering tool. However, NMF`s batch nature necessitates recomputation of whole basis set for new samples...