Sciweavers

11561 search results - page 1938 / 2313
» A Language for Biochemical Systems
Sort
View
PETRA
2009
ACM
16 years 1 months ago
Towards automated large vocabulary gesture search
This paper describes work towards designing a computer vision system for helping users look up the meaning of a sign. Sign lookup is treated as a video database retrieval problem....
Alexandra Stefan, Haijing Wang, Vassilis Athitsos
UIST
2009
ACM
16 years 1 months ago
Sikuli: using GUI screenshots for search and automation
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...
Tom Yeh, Tsung-Hsiang Chang, Robert C. Miller
ACHI
2008
IEEE
16 years 1 months ago
Multimodal Metric Study for Human-Robot Collaboration
The aim of our research is to create a system whereby human members of a team can collaborate in a natural way with robots. In this paper we describe a Wizard of Oz (WOZ) study co...
Scott Green, Scott Richardson, Randy Stiles, Mark ...
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
16 years 1 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
APSEC
2008
IEEE
16 years 1 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
« Prev « First page 1938 / 2313 Last » Next »