Sciweavers

769 search results - page 64 / 154
» Simple Composition of Nets
Sort
View
ICMLA
2007
13 years 9 months ago
Machine learned regression for abductive DNA sequencing
We construct machine learned regressors to predict the behaviour of DNA sequencing data from the fluorescent labelled Sanger method. These predictions are used to assess hypothes...
David Thornley, Maxim Zverev, Stavros Petridis
ECEASST
2008
106views more  ECEASST 2008»
13 years 7 months ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan
KES
2006
Springer
13 years 7 months ago
A Divergent-Style Learning Support Tool for English Learners Using a Thesaurus Diagram
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
Chie Shimodaira, Hiroshi Shimodaira, Susumu Kunifu...
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
13 years 5 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
NECO
2010
101views more  NECO 2010»
13 years 2 months ago
Large-Margin Classification in Infinite Neural Networks
We introduce a new family of positive-definite kernels for large margin classification in support vector machines (SVMs). These kernels mimic the computation in large neural netwo...
Youngmin Cho, Lawrence K. Saul