1143 search results - page 163 / 229 » Mental models of recursion |
TACAS
2004
Springer
14 years 2 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...
ITCC
2003
IEEE
14 years 2 months ago
2003
IEEE
: Motion is an important cue for many applications. Here we propose a solution for estimating motion from a sequence of images using three algorithms, viz., Batch, Recursive and Bo...
HOLOMAS
2003
Springer
14 years 2 months ago
2003
Springer
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We present a near-optimal deterministic filter for systems that evolve on the unit circle. Unlike suboptimal filtering algorithms that rely on approximations of the system, t...
SAIG
2001
Springer
14 years 1 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...