Sciweavers

2429 search results - page 451 / 486
» A Requirement Engineering Approach to User Centered Design
Sort
View
POPL
2010
ACM
16 years 1 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
COMSUR
2008
169views more  COMSUR 2008»
15 years 4 months ago
Peer-to-peer-based resource discovery In global grids: A tutorial
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resource...
Rajiv Ranjan, Aaron Harwood, Rajkumar Buyya
283
Voted
ICVS
2009
Springer
15 years 10 months ago
Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection
This paper describes a computer vision system to detect card counters and dealer errors in a game of Blackjack from an overhead stereo camera. Card counting is becoming increasingl...
Krists Zutis, Jesse Hoey
VR
2008
IEEE
149views Virtual Reality» more  VR 2008»
15 years 10 months ago
Virtual Human + Tangible Interface = Mixed Reality Human An Initial Exploration with a Virtual Breast Exam Patient
Virtual human (VH) experiences are receiving increased attention for training real-world interpersonal scenarios. Communication in interpersonal scenarios consists of not only spe...
Aaron Kotranza, Benjamin Lok
DASFAA
2006
IEEE
123views Database» more  DASFAA 2006»
15 years 10 months ago
DTD-Diff: A Change Detection Algorithm for DTDs
The DTD of a set of XML documents may change due to many reasons such as changes to the real world events, changes to the user’s requirements, and mistakes in the initial design....
Erwin Leonardi, Tran T. Hoai, Sourav S. Bhowmick, ...