1411 search results - page 237 / 283 » Interactive Coding for Interactive Proofs |
SOFTVIS
2010
ACM
14 years 10 months ago
2010
ACM
This paper presents a technique for visualizing the interactions between developers in software project evolution. The goal is to produce a visualization that shows more detail th...
CPHYSICS
2008
14 years 9 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
ESE
2006
14 years 9 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
IJWET
2006
14 years 9 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
102
click to vote
JGTOOLS
2008
14 years 9 months ago
2008
Abstract. Soft shadow mapping is an attractive solution to the problem of realtime soft shadows because it works with any kind of rasterizable geometry (in particular alpha-transpa...