Sciweavers

1981 search results - page 205 / 397
» Model-Checking Hierarchical Structures
Sort
View
131
Voted
INTERACT
2003
15 years 4 months ago
Pattern Languages in Interaction Design
: Now that individual patterns for Interaction Design have started to appear, the issue of structuring collections of patterns into Pattern Languages becomes relevant, both from a ...
Martijn van Welie, Gerrit C. van der Veer
WSCG
2001
77views more  WSCG 2001»
15 years 4 months ago
Physics-Enhanced L-Systems
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
Hansrudi Noser, S. Rudolph, Peter Stucki
MVA
1990
15 years 3 months ago
Handwriting Model Adjustable to Writers
A new handwriting model is proposed for simulating complex handwriting variation in obedience to individual handwriting tendencies. Individual handwriting t,endency is represented...
Nobuyuki Kita
120
Voted
CRYPTO
2010
Springer
195views Cryptology» more  CRYPTO 2010»
15 years 3 months ago
Fully Secure Functional Encryption with General Relations from the Decisional Linear Assumption
This paper presents a fully secure functional encryption scheme for a wide class of relations, that are specified by non-monotone access structures combined with inner-product rel...
Tatsuaki Okamoto, Katsuyuki Takashima
99
Voted
NAR
2000
76views more  NAR 2000»
15 years 2 months ago
Update of KEYnet: a gene and protein names database for biosequences functional organisation
KEYnet is a database where gene and protein names are hierarchically structured. Particular care has been devoted to the search and organisation of synonyms. The structuring is ba...
Domenico Catalano, Flavio Licciulli, Domenica D'El...