177 search results - page 4 / 36 » Large Patterns Make Great Symbols: An Example of Learning fr... |
AVI
2004
13 years 9 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
AAAI
2006
13 years 9 months ago
2006
We present a novel framework for multi-label learning that explicitly addresses the challenge arising from the large number of classes and a small size of training data. The key a...
BMCBI
2010
13 years 2 months ago
2010
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...