Sciweavers

3337 search results - page 412 / 668
» interactions 2006
Sort
View
VLSID
2006
IEEE
160views VLSI» more  VLSID 2006»
16 years 6 months ago
An Approach to Architectural Enhancement for Embedded Speech Applications
Advances in Human Computer Interaction(HCI) technology has resulted in widespread development of natural language and speech applications. These applications are known to be compu...
Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay,...
PODS
2006
ACM
122views Database» more  PODS 2006»
16 years 6 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
EDBT
2006
ACM
135views Database» more  EDBT 2006»
16 years 6 months ago
A New Design for a Native XML Storage and Indexing Manager
This paper describes the design and implementation of an XML storage manager for fast and interactive XPath expressions evaluation. This storage manager has two main parts: the XML...
Jihad Boulos, Shant Karakashian
PERCOM
2006
ACM
16 years 5 months ago
Balancing Autonomy and User Control in Context-Aware Systems - a Survey
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
Bob Hardian, Jadwiga Indulska, Karen Henricksen
DCC
2006
IEEE
16 years 5 months ago
Roux-type constructions for covering arrays of strengths three and four
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...
Charles J. Colbourn, Sosina Martirosyan, Tran van ...