1003 search results - page 101 / 201 » Type Inference with Inequalities |
213
click to vote
SIAMCO
2011
14 years 11 months ago
2011
In this paper optimal control problems governed by the wave equation with control constraints are analyzed. Three types of control action are considered: distributed control, Neuma...
138
click to vote
SIAMJO
2010
14 years 11 months ago
2010
In this work we introduce for extended real valued functions, defined on a Banach space X, the concept of K directionally Lipschitzian behavior, where K is a bounded subset of X. F...
151
click to vote
CORR
2012
Springer
13 years 12 months ago
2012
Springer
Graphs and networks are used to model interactions in a variety of contexts, and there is a growing need to be able to quickly assess the qualities of a graph in order to understa...
137
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
178
click to vote
BMCBI
2006
15 years 4 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...