Sciweavers

13734 search results - page 156 / 2747
» Abstractions of data types
Sort
View
SAC
2009
ACM
15 years 8 months ago
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the sat
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
Sven Groppe, Jana Neumann, Volker Linnemann
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 8 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 2 months ago
Semi-continuous Sized Types and Termination
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
Andreas Abel
CBMS
2005
IEEE
15 years 6 months ago
Prediction of Type II MODY3 Diabetes Using Backpercolation
In this study, a neural network based approach is used to predict the presence of Maturity Onset Diabetes type 3, referred as MODY3 Type II diabetes mellitus. The study has used b...
Nawaz Khan, Chukwuemeka A. Ikejiaku, Shahedur Rahm...
IGARSS
2010
14 years 11 months ago
Calibrating probabilities for hyperspectral classification of rock types
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
Sildomar T. Monteiro, Richard J. Murphy