13734 search results - page 66 / 2747 » Abstractions of data types |
DAWAK
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
IFL
2005
Springer
14 years 2 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
JAR
2008
13 years 8 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
MCS
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Boosting methods are known to improve generalization performances of learning algorithms reducing both bias and variance or enlarging the margin of the resulting multi-cl...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. A new 3D segmentation method based on the level set technique is proposed. The main contribution is a robust evolutionary model which requires no fine tuning of parameter...