1497 search results - page 21 / 300 » Extended static checking |
DOCENG
2009
ACM
14 years 2 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
In this paper we present an efficient technique allowing distant grasp behaviors while preserving the static balance. This feature greatly increases the autonomy of virtual humans...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Model compensation is a standard way of improving the robustness of speech recognition systems to noise. A number of popular schemes are based on vector Taylor series (vts) compen...