Sciweavers

464 search results - page 3 / 93
» Enjoy the Paper: Lexicology
Sort
View
LREC
2008
99views Education» more  LREC 2008»
13 years 6 months ago
Standardising Bilingual Lexical Resources According to the Lexicon Markup Framework
The Dutch HLT agency for language and speech technology (known as TST-centrale) at the Institute for Dutch Lexicology is responsible for the maintenance, distribution and accessib...
Isa Maks, Carole Tiberius, Remco van Veenendaal
ADG
2004
Springer
147views Mathematics» more  ADG 2004»
13 years 10 months 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...
ACISP
2003
Springer
13 years 10 months ago
An Anonymous Credential System and a Privacy-Aware PKI
Abstract. In this paper we present a non-transferable anonymous credential system that is based on the concept of a chameleon certificate. A chameleon certificate is a special ce...
Pino Persiano, Ivan Visconti
HCI
2009
13 years 3 months ago
Smart Makeup Mirror: Computer-Augmented Mirror to Aid Makeup Application
In this paper, we present the system that aids people in wearing makeup easily and make the process enjoyable. The proposed system is the "Smart Makeup Mirror" device, w...
Eriko Iwabuchi, Maki Nakagawa, Itiro Siio
VMCAI
2004
Springer
13 years 10 months ago
Symbolic Implementation of the Best Transformer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh