1781 search results - page 181 / 357 » Visualizing program execution using user abstractions |
150
click to vote
ACIVS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
141
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
127
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
136
click to vote
LION
2010
Springer
15 years 7 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
225
Voted
CICLING
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...