Sciweavers

16218 search results - page 237 / 3244
» Standards
Sort
View
FOMI
2009
15 years 4 months ago
Supporting the Development of Medical Ontologies
Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...
David Corsar, Laura Moss, Derek H. Sleeman, Malcol...
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 1 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
COLING
2010
15 years 1 months ago
Heterogeneous Parsing via Collaborative Decoding
There often exist multiple corpora for the same natural language processing (NLP) tasks. However, such corpora are generally used independently due to distinctions in annotation s...
Muhua Zhu, Jingbo Zhu, Tong Xiao
INFORMATICALT
2011
89views more  INFORMATICALT 2011»
15 years 1 months ago
Large-Scale Data Analysis Using Heuristic Methods
Estimation and modelling problems as they arise in many data analysis areas often turn out to be unstable and/or intractable by standard numerical methods. Such problems frequently...
Gintautas Dzemyda, Leonidas Sakalauskas
JLP
2010
105views more  JLP 2010»
15 years 1 months ago
Quantitative analysis of weighted transition systems
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen