Sciweavers

3605 search results - page 83 / 721
» Associated types with class
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
14 years 3 months ago
Exact controllability of linear neutral type systems by the moment problem approach
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
Rabah Rabah, Grigory Sklyar
ESEM
2009
ACM
14 years 1 months ago
A detailed examination of the correlation between imports and failure-proneness of software components
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
Ekwa Duala-Ekoko, Martin P. Robillard
EMNLP
2009
13 years 6 months ago
Supervised Learning of a Probabilistic Lexicon of Verb Semantic Classes
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...
Yusuke Miyao, Jun-ichi Tsujii
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
14 years 1 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
ICDAR
2009
IEEE
13 years 6 months ago
Image Classification to Improve Printing Quality of Mixed-Type Documents
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
Rafael Dueire Lins, Gabriel Pereira e Silva, Steve...