Sciweavers

1689 search results - page 110 / 338
» On Natural Non-dcpo Domains
Sort
View
AH
2008
Springer
16 years 20 days ago
Learner Modelling in Exploratory Learning for Mathematical Generalisation
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...
Mihaela Cocea
ICDCSW
2007
IEEE
16 years 19 days ago
Automated Ensemble Extraction and Analysis of Acoustic Data Streams
This paper addresses the design and use of distributed pipelines for automated processing of sensor data streams. In particular, we focus on the detection and extraction of meanin...
Eric P. Kasten, Philip K. McKinley, Stuart H. Gage
CIE
2007
Springer
16 years 15 days ago
A Useful Undecidable Theory
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
Victor L. Selivanov
DNIS
2007
Springer
117views Database» more  DNIS 2007»
16 years 15 days ago
Semantic Tracking in Peer-to-Peer Topic Maps Management
This paper presents a collaborative semantic tracking framework based on topic maps which aims to integrate and organize the data/information resources that spread throughout the I...
Asanee Kawtrakul, Chaiyakorn Yingsaeree, Fré...
LSSC
2007
Springer
16 years 14 days ago
MIC(0) DD Preconditioning of FEM Elasticity Systems on Unstructured Tetrahedral Grids
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
Nikola Kosturski