Sciweavers

12741 search results - page 212 / 2549
» Editorial and call for papers
Sort
View
DEXAW
2006
IEEE
117views Database» more  DEXAW 2006»
16 years 20 days ago
Schema Repository for Database Schema Evolution
The paper presents a schema repository, an original repository containing different kinds of database schemas. The repository is part of a multidisciplinary approach for schema ev...
Hassina Bounif, Rachel Pottinger
ICMCS
2006
IEEE
143views Multimedia» more  ICMCS 2006»
16 years 19 days ago
Face Recognition using 3D Summation Invariant Features
In this paper, we developed a family of 2D and 3D invariant features with applications to 3D human faces recognition. The main contributions of this paper are: (a) systematically ...
Wei-Yang Lin, Kin-Chung Wong, Yu Hu, Nigel Boston
IWQOS
2005
Springer
16 years 3 days ago
QoS in Hybrid Networks - An Operator's Perspective
The goal of this paper is to foster discussions on future directions for QoS related research. The paper takes the viewpoint of an operator; as an example it presents the topology,...
Aiko Pras, Remco van de Meent, Michel Mandjes
TLCA
2005
Springer
16 years 2 days ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé
ADG
2004
Springer
147views Mathematics» more  ADG 2004»
16 years 16 hour ago
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Ta...