Sciweavers

20807 search results - page 3994 / 4162
» How to read a paper
Sort
View
DSVIS
2008
Springer
13 years 10 months ago
Multi-fidelity User Interface Specifications
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
Thomas Memmel, Jean Vanderdonckt, Harald Reiterer
ECAI
2008
Springer
13 years 10 months ago
Heuristics for Dynamically Adapting Propagation
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
Kostas Stergiou
ECCV
2008
Springer
13 years 10 months ago
3D Non-rigid Surface Matching and Registration Based on Holomorphic Differentials
3D surface matching is fundamental for shape registration, deformable 3D non-rigid tracking, recognition and classification. In this paper we describe a novel approach for generati...
Wei Zeng, Yun Zeng, Yang Wang, Xiaotian Yin, Xianf...
ECOOP
2008
Springer
13 years 10 months ago
A Unified Framework for Verification Techniques for Object Invariants
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
Sophia Drossopoulou, Adrian Francalanza, Peter M&u...
ELPUB
2008
ACM
13 years 10 months ago
No Budget, No Worries: Free and Open Source Publishing Software in Biomedical Publishing
Open Medicine (http://www.openmedicine.ca) is an electronic open access, peer-reviewed general medical journal that started publication in April 2007. The editors of Open Medicine...
Tarek Loubani, Sally Murray, Claire Kendall, Anita...
« Prev « First page 3994 / 4162 Last » Next »