1965 search results - page 377 / 393 » On the analysis of interacting pushdown systems |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
Distance fields provide an implicit representation of shape that has advantages in many application areas; in this overview, we focus on their use in digital design. Distance fi...
MM
2004
ACM
14 years 28 days ago
2004
ACM
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded ...
SAB
2004
Springer
14 years 26 days ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
MIR
2010
ACM
14 years 24 days ago
2010
ACM
As real-time broadcasting services are becoming more popular, many people are sharing live events with remote users. Despite the success of real-time broadcasting services, a numb...