11653 search results - page 54 / 2331 » The Development of the C Language |
112
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
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,...
150
Voted
TREC
1997
15 years 4 months ago
1997
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...
125
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
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 ...
278
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
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....
114
click to vote
VL
2006
IEEE
15 years 9 months ago
2006
IEEE
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 ...