1256 search results - page 59 / 252 » Tools for Exploring Natural Language |
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
78
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
104
click to vote
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...