Sciweavers

5042 search results - page 739 / 1009
» Visions for application development on hybrid computing syst...
Sort
View
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 10 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
IJCAI
2003
15 years 8 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
MM
2006
ACM
175views Multimedia» more  MM 2006»
16 years 18 days ago
Real-time automatic 3D scene generation from natural language voice and text descriptions
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
Lee M. Seversky, Lijun Yin
MM
2005
ACM
100views Multimedia» more  MM 2005»
16 years 6 days ago
Cooking navi: assistant for daily cooking in kitchen
We are developing a cooking navigation system, which helps even a novice user to cook several recipes in parallel without failure, while improving an advanced user’s skill furth...
Reiko Hamada, Jun Okabe, Ichiro Ide, Shin'ichi Sat...
HICSS
2005
IEEE
159views Biometrics» more  HICSS 2005»
16 years 7 days ago
A Repeatable Collaboration Process for Usability Testing
Evaluating the usability of an application is a crucial activity in systems development projects. It is often done collaboratively, involving groups of current or future users, us...
Gert-Jan de Vreede, Ann L. Fruhling, Anita Chakrap...