Sciweavers

426 search results - page 60 / 86
» C Annotations
Sort
View
ESCIENCE
2007
IEEE
14 years 4 months ago
eResearch Solutions for High Throughput Structural Biology
Structural biology research places significant demands upon computing and informatics infrastructure. Protein production, crystallization and X-ray data collection require solutio...
Noel G. Faux, Anthony Beitz, Mark A. Bate, Abdulla...
AIED
2007
Springer
14 years 4 months ago
The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
Kristy Elizabeth Boyer, Mladen A. Vouk, James C. L...
CEFP
2007
Springer
14 years 4 months ago
Proving Properties of Lazy Functional Programs with Sparkle
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
SIBGRAPI
2006
IEEE
14 years 3 months ago
A Statistical Discriminant Model for Face Interpretation and Reconstruction
Multivariate statistical approaches have played an important role of recognising face images and characterizing their differences. In this paper, we introduce the idea of using a ...
Edson C. Kitani, Carlos E. Thomaz, Duncan Fyfe Gil...
CSCW
2006
ACM
14 years 3 months ago
Shared waypoints and social tagging to support collaboration in software development
This paper presents the conceptual design of TagSEA, a collaborative tool to support asynchronous software development. Our goal is to develop a lightweight source code annotation...
Margaret-Anne D. Storey, Li-Te Cheng, R. Ian Bull,...