Sciweavers

8706 search results - page 1072 / 1742
» Learning Subjective Language
Sort
View
VEE
2006
ACM
139views Virtualization» more  VEE 2006»
16 years 1 months ago
Vector LLVA: a virtual vector instruction set for media processing
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciï¬...
Robert L. Bocchino Jr., Vikram S. Adve
KBSE
2005
IEEE
16 years 1 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
KBSE
2005
IEEE
16 years 1 months ago
Identifying traits with formal concept analysis
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
Adrian Lienhard, Stéphane Ducasse, Gabriela...
ACMACE
2005
ACM
16 years 1 months ago
Real-time cinematic camera control for interactive narratives
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
Dan Amerson, Shaun Kime, R. Michael Young
ACMACE
2005
ACM
16 years 1 months ago
Towards a cinematically enhanced narrative
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
Alejandro Ramírez
« Prev « First page 1072 / 1742 Last » Next »