596 search results - page 99 / 120 » Subtyping Recursive Types |
144
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
173
click to vote
3DPVT
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe initial work on a system for augmenting video sequences with 3-D graphics so that they appear to be present within the scene. Our aim is to do this in realtime for seq...
151
click to vote
EMMCVPR
2001
Springer
15 years 10 months ago
2001
Springer
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...
165
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...