Sciweavers

1995 search results - page 203 / 399
» The Chemical Abstract Machine
Sort
View
SIGCSE
2002
ACM
153views Education» more  SIGCSE 2002»
15 years 4 months ago
A communication library to support concurrent programming courses
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Ma...
IFIP12
2009
15 years 2 months ago
An Expert System Based on Parametric Net to Support Motor Pump Multi-Failure Diagnostic
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
Flavia Cristina Bernardini, Ana Cristina Bicharra ...
ICFP
2012
ACM
13 years 7 months ago
Introspective pushdown analysis of higher-order programs
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
Christopher Earl, Ilya Sergey, Matthew Might, Davi...
IPMI
2003
Springer
16 years 5 months ago
Feature Selection for Shape-Based Classification of Biological Objects
Abstract. In this paper, feature selection methodology from the machine learning literature is applied to the problem of shape-based classification. This methodology discards stati...
Paul A. Yushkevich, Sarang C. Joshi, Stephen M. Pi...
ICML
2007
IEEE
16 years 5 months ago
Dirichlet aggregation: unsupervised learning towards an optimal metric for proportional data
Proportional data (normalized histograms) have been frequently occurring in various areas, and they could be mathematically abstracted as points residing in a geometric simplex. A...
Hua-Yan Wang, Hongbin Zha, Hong Qin