7121 search results - page 1021 / 1425 » Functions as Session-Typed Processes |
159
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
165
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
164
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
174
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...
195
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present an energy based automatic image segmentation algorithm that uses a novel active contour scheme, called the stochastic active contour scheme (STACS). The algorithm overc...