Sciweavers

3545 search results - page 242 / 709
» Computational methods for case-cohort studies
Sort
View
FORMATS
2009
Springer
15 years 10 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ICPR
2000
IEEE
15 years 10 months ago
Controlling On-Line Adaptation of a Prototype-Based Classifier for Handwritten Characters
Methods for controlling the adaptation process of an on-line handwritten character recognizer are studied. The classifier is based on the -nearest neighbor rule and it is adapted...
Vuokko Vuori, Jorma Laaksonen, Erkki Oja, Jari Kan...
WSC
2008
15 years 9 months ago
Simulation-based, optimized scheduling of limited bar-benders over multiple building sites
In the construction industry, a specialist subcontractor manages a taskforce of single-skilled laborers to work on multiple construction sites, aiming to minimize the total cost a...
Hoi-Ching Lam, Ming Lu
157
Voted
APBC
2004
166views Bioinformatics» more  APBC 2004»
15 years 8 months ago
THEMATICS is Effective for Active Site Prediction in Comparative Model Structures
THEMATICS (Theoretical Microscopic Titration Curves) is a simple, reliable computational predictor of the active sites of enzymes from structure. Our method, based on well-establi...
Ihsan A. Shehadi, Alper Uzun, Leonel F. Murga, Val...
IJDMB
2008
128views more  IJDMB 2008»
15 years 6 months ago
Protein homology detection with biologically inspired features and interpretable statistical models
: Computational classification of proteins using methods such as string kernels and Fisher-SVM has demonstrated great success. However, the resulting models do not offer an immedia...
Pai-Hsi Huang, Vladimir Pavlovic