3906 search results - page 443 / 782 » From grids to places |
252
Voted
ESOP
2001
Springer
16 years 6 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
177
Voted
SIGUCCS
2000
ACM
16 years 1 days ago
2000
ACM
The Web Documentation Project at the University of Delaware (UD) organizes the computing help information available to the University community. The project’s goal is to provide...
203
Voted
SAS
1999
Springer
15 years 12 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
196
Voted
BIRTHDAY
1997
Springer
15 years 12 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
204
Voted
SIGGRAPH
1996
ACM
15 years 12 months ago
1996
ACM
Scratches on old films must be removed since these are more noticeable on higher definition and digital televisions. Wires that suspend actors or cars must be carefully erased dur...