Sciweavers

3523 search results - page 438 / 705
» Feature interaction in policies
Sort
View
ICFP
2010
ACM
15 years 7 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
CE
2008
76views more  CE 2008»
15 years 6 months ago
Determining factors of the use of e-learning environments by university teachers
E-learning environments increasingly serve as important infrastructural features of universities that enable teachers to provide students with different representations of knowled...
Hossein Mahdizadeh, Harm Biemans, Martin Mulder
CGF
2008
103views more  CGF 2008»
15 years 6 months ago
An Example-based Procedural System for Element Arrangement
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
Takashi Ijiri, Radomír Mech, Takeo Igarashi...
CGF
2008
128views more  CGF 2008»
15 years 6 months ago
Hierarchical Convex Approximation of 3D Shapes for Fast Region Selection
Given a 3D solid model S represented by a tetrahedral mesh, we describe a novel algorithm to compute a hierarchy of convex polyhedra that tightly enclose S. The hierarchy can be b...
Marco Attene, Michela Mortara, Michela Spagnuolo, ...
EAAI
2008
257views more  EAAI 2008»
15 years 6 months ago
Recognition of facial expressions using Gabor wavelets and learning vector quantization
Facial expression recognition has potential applications in different aspects of day-to-day life not yet realized due to absence of effective expression recognition techniques. Th...
Shishir Bashyal, Ganesh K. Venayagamoorthy