88 search results - page 8 / 18 » Separation of Variability Dimension and Development Dimensio... |
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
IDA
2003
Springer
14 years 20 days ago
2003
Springer
This paper tackles the problem of model complexity in the context of additive models. Several methods have been proposed to estimate smoothing parameters, as well as to perform var...
AIS
1999
Springer
13 years 7 months ago
1999
Springer
The Internet and other interactive networks are diffusing across the globe at rates that vary from country to country. Typically, economic and market structure variables are used t...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Several types of breast carcinomas tend to spread along the surface of the ductal lumen. Spontaneous nipple discharge can be an early symptom of such cancer development that does ...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...