1729 search results - page 308 / 346 » Practical Temporal Projection |
98
Voted
SIGCSE
2009
ACM
15 years 11 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
189
Voted
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
95
Voted
MOBISYS
2004
ACM
15 years 10 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
CSCW
2010
ACM
15 years 7 months ago
2010
ACM
Issue tracking systems help organizations manage issue reporting, assignment, tracking, resolution, and archiving. Traditionally, it is the Software Engineering community that res...
78
Voted
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...