4307 search results - page 466 / 862 » Dynamic Spyware Analysis |
138
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
136
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— A single biological neuron is able to perform complex computations that are highly nonlinear in nature, adaptive, and superior to the perceptron model. A neuron is essentially ...
116
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
146
click to vote
ICIAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
140
Voted
ICARCV
2006
IEEE
15 years 11 months ago
2006
IEEE
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...