190 search results - page 6 / 38 » Inferring Company Structure from Limited Available Informati... |
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
105
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Network Component Analysis (NCA) has shown its effectiveness in discovering regulators and inferring transcription factor activities (TFAs) when both microarray data a...
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Software engineers often inspect program differences when reviewing others' code changes, when writing check-in comments, or when determining why a program behaves differentl...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
We report grammar inference experiments on partially parsed sentences taken from the Wall Street Journal corpus using the inside-outside algorithm for stochastic context-free gram...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...