Sciweavers

11653 search results - page 54 / 2331
» The Development of the C Language
Sort
View
ICRA
2002
IEEE
110views Robotics» more  ICRA 2002»
14 years 2 months ago
Using Spatial Language in a Human-Robot Dialog
In conversation, people often use spatial relationships to describe their environment, e.g., “There is a desk in front of me and a doorway behind it”, and to issue directives,...
Marjorie Skubic, Dennis Perzanowski, Alan C. Schul...
TREC
1997
13 years 10 months ago
Document Translation for Cross-Language Text Retrieval at the University of Maryland
The University of Maryland participated in three TREC-6 tasks: ad hoc retrieval, cross-language retrieval, and spoken document retrieval. The principal focus of the work was evalu...
Douglas W. Oard, Paul G. Hackett
CHI
2005
ACM
14 years 9 months ago
From creating virtual gestures to "writing" in sign languages
Sign languages have been proven to be natural languages, as capable of expressing human thoughts and emotions as traditional languages are. The distinct visual and spatial nature ...
Beifang Yi, Frederick C. Harris Jr., Sergiu M. Das...
PLDI
2009
ACM
14 years 9 months ago
An integrated proof language for imperative programs
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
Karen Zee, Viktor Kuncak, Martin C. Rinard
VL
2006
IEEE
14 years 3 months ago
Using Visual Momentum to Explain Disorientation in the Eclipse IDE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
Brian de Alwis, Gail C. Murphy