16682 search results - page 2963 / 3337 » Software Engineering Education |
224
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
203
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
184
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
242
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
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...
207
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...