Sciweavers

5210 search results - page 270 / 1042
» Computing Capabilities of Mediators
Sort
View
ICPR
2010
IEEE
15 years 10 months ago
Initialisation-Free Active Contour Segmentation
We present a region based active contour model which does not require any initialisation and is capable of modelling multi-modal image regions. Its external force is based on stat...
Xianghua Xie, Majid Mirmehdi
169
Voted
ICCHP
2010
Springer
15 years 8 months ago
E-Scribe: Ubiquitous Real-Time Speech Transcription for the Hearing-Impaired
Abstract. Availability of real-time speech transcription anywhere, anytime, represents a potentially life-changing opportunity for the hearingimpaired to improve their communicatio...
Zdenek Bumbalek, Jan Zelenka, Lukas Kencl
BIRTHDAY
2008
Springer
15 years 8 months ago
A Type System for Client Progress in a Service-Oriented Calculus
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
Lucia Acciai, Michele Boreale
ISMB
1994
15 years 8 months ago
Neural Networks for Determining Protein Specificity and Multiple Alignment of Binding Sites
Weuse a quantitative definition of specificity to developa neural networkfor the identification of commonprotein binding sites in a collection of unaligned DNAfragments. Wedemonst...
John M. Heumann, Alan S. Lapedes, Gary D. Stormo
GG
2008
Springer
15 years 7 months ago
Resolution-Like Theorem Proving for High-Level Conditions
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
Karl-Heinz Pennemann