8009 search results - page 233 / 1602 » cans 2005 |
177
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
189
click to vote
SEW
2005
IEEE
16 years 3 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
180
click to vote
SIBGRAPI
2005
IEEE
16 years 3 days ago
2005
IEEE
Shading for cel animation based on images is a recent research topic in computer-assisted animation. This paper proposes an image-based shading pipeline to give a 3D appearance to...
162
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
213
click to vote
VISSOFT
2005
IEEE
16 years 3 days ago
2005
IEEE
The visualization techniques used in current software visualization frameworks make use of a limited set of graphical elements to highlight relevant aspects of a software system. ...