6167 search results - page 183 / 1234 » Can Refinement be Automated |
151
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
147
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
137
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
147
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
157
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Internet users regularly have the need to find biographies and facts of people of interest. Wikipedia has become the first stop for celebrity biographies and facts. However, Wik...