Sciweavers

2233 search results - page 73 / 447
» Modular type classes
Sort
View
JCT
2006
77views more  JCT 2006»
14 years 12 months ago
There are uncountably many topological types of locally finite trees
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...
Lilian Matthiesen
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 6 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
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 4 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
14 years 9 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...
ICSE
2007
IEEE-ACM
15 years 6 months ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri