352 search results - page 51 / 71 » Evaluating the imprecision of static analysis |
189
click to vote
IWC
2006
15 years 5 months ago
2006
Conveyance and recognition of human emotion and affective expression is influenced by many factors, including culture. Within the user modeling field, it has become increasingly n...
143
click to vote
JMM2
2007
15 years 5 months ago
2007
— This paper presents an assignment scheme to control multiple Pan/Tilt (PT) cameras for 3D video of a moving object. The system combines static wide field of view (FOV) cameras...
181
click to vote
IPSN
2011
Springer
14 years 9 months ago
2011
Springer
This paper presents results from experiments, mathematical analysis, and simulations of a network of static and mobile sensors for detecting threats on city streets and in open ar...
163
click to vote
CGO
2008
IEEE
16 years 7 days ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
153
click to vote
KBSE
2009
IEEE
16 years 14 days ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...