2539 search results - page 366 / 508 » Debugging Method Names |
139
click to vote
ROBOCUP
2007
Springer
15 years 8 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
135
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
110
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
115
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
A wide range of methods have been proposed to detect and recognize objects. However, effective and efficient multiviewpoint detection of objects is still in its infancy, since mo...