80 search results - page 5 / 16 » A visual interactive debugger based on symbolic execution |
161
Voted
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
119
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
123
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Most systems for content based image retrieval (CBIR) employ low level image features as a similarity measure. The problem of CBIR systems is that they are a “black box” to th...
134
Voted
ISER
2004
Springer
15 years 9 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
143
Voted
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...