Sciweavers

4109 search results - page 169 / 822
» User Interface Software Tools
Sort
View
PLDI
2003
ACM
15 years 4 months ago
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
David L. Heine, Monica S. Lam
CADE
2001
Springer
15 years 11 months ago
Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
Jörg Lücke
ACMACE
2005
ACM
15 years 1 months ago
Towards an intelligent storyboarding tool for 3D games
We present an intelligent storyboarding tool that takes as an stract annotated action specification to generate camera actions and geometric constraints for executing as a dynamic...
Arnav Jhala, William H. Bares, R. Michael Young
SOCRATES
2008
124views Education» more  SOCRATES 2008»
15 years 22 days ago
A Web-based Learning Tool for applied Mathematics Disciplines
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...
Francesco Giannino, Mario Rosario Guarracino, Vale...
CHI
2005
ACM
15 years 11 months ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman