6300 search results - page 32 / 1260 » We have it easy, but do we have it right |
191
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
114
Voted
TSE
2008
15 years 20 days ago
2008
There is a growing consensus that crosscutting concerns harm code quality. An example of a crosscutting concern is a functional requirement whose implementation is distributed acro...
103
Voted
CGF
2010
15 years 26 days ago
2010
We propose a new family of barycentric coordinates that have closed-forms for arbitrary 2D polygons. These coordinates are easy to compute and have linear precision even for open ...
94
Voted
AMC
2007
15 years 27 days ago
2007
Asian options have payoffs that depend on the average price of the underlying asset such as stocks, commodities, or financial indices. As exact closed-form formulas do not exist...
BCSHCI
2007
15 years 2 months ago
2007
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...