1216 search results - page 106 / 244 » Hybrid type checking |
140
Voted
BIOINFORMATICS
2010
15 years 3 months ago
2010
Motivation: Tumorigenesis is an evolutionary process by which tumor cells acquire sequences of mutations leading to increased growth, invasiveness, and eventually metastasis. It i...
133
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
132
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
117
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
142
click to vote
IJCAI
2007
15 years 5 months ago
2007
The goal of transfer learning is to use the knowledge acquired in a set of source tasks to improve performance in a related but previously unseen target task. In this paper, we pr...