Sciweavers

14720 search results - page 2517 / 2944
» Interface
Sort
View
IWC
2006
165views more  IWC 2006»
15 years 5 months ago
Cross-cultural differences in recognizing affect from body posture
Conveyance and recognition of human emotion and affective expression is influenced by many factors, including culture. Within the user modeling field, it has become increasingly n...
Andrea Kleinsmith, P. Ravindra De Silva, Nadia Bia...
JAR
2006
103views more  JAR 2006»
15 years 5 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
DAM
2007
85views more  DAM 2007»
15 years 5 months ago
Testing primitivity on partial words
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
Francine Blanchet-Sadri, Arundhati R. Anavekar
DB
2007
362views more  DB 2007»
15 years 5 months ago
Marketing strategies in virtual worlds
More and more businesses are selling products and providing services through multiple channels. 3D virtual worlds are emerging to be one of the channels for companies to communica...
Tsz-Wai Lui, Gabriele Piccoli, Blake Ives
JSW
2008
96views more  JSW 2008»
15 years 5 months ago
A Collaborative Inter-Data Grid Strong Semantic Model with Hybrid Namespace
The Data Grid, like all other collaboration models, has strict rules for contributors to follow and many criteria to abide with. Namespace is one of the rules that govern the contr...
Dalia El-Mansy, Ahmed Sameh
« Prev « First page 2517 / 2944 Last » Next »