Sciweavers

3333 search results - page 588 / 667
» Abstract Proof Search
Sort
View
146
Voted
EDUTAINMENT
2006
Springer
15 years 7 months ago
Effects of Guided and Unguided Style Learning on User Attention in a Virtual Environment
Abstract. In this paper, we investigated the effects of guided and unguided style VR learning on user attention and retained knowledge. We conducted a study where users performed g...
Jayoung J. Goo, Kyoung Shin Park, Moonhoen Lee, Ji...
EMO
2006
Springer
113views Optimization» more  EMO 2006»
15 years 7 months ago
Prediction-Based Population Re-initialization for Evolutionary Dynamic Multi-objective Optimization
Abstract. Optimization in changing environment is a challenging task, especially when multiple objectives are to be optimized simultaneously. The basic idea to address dynamic opti...
Aimin Zhou, Yaochu Jin, Qingfu Zhang, Bernhard Sen...
ESOP
2006
Springer
15 years 7 months ago
Pure Pattern Calculus
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
C. Barry Jay, Delia Kesner
AVBPA
2003
Springer
146views Biometrics» more  AVBPA 2003»
15 years 7 months ago
Dental Biometrics: Human Identification Using Dental Radiographs
Abstract. The goal of forensic dentistry is to identify people based on their dental records, mainly as radiograph images. In this paper we attempt to set forth the foundations of ...
Anil K. Jain, Hong Chen, Silviu Minut
ER
2000
Springer
101views Database» more  ER 2000»
15 years 7 months ago
Towards Ontology-Based Harmonization of Web Content Standards
Abstract. The popularity and press surrounding the release of XML has created widespread interest in standards within particular communities that focus on representing content. The...
Nicola Guarino, Christopher A. Welty, Christopher ...