4719 search results - page 759 / 944 » Newtonian program analysis |
144
Voted
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
153
click to vote
AAECC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
165
Voted
SOCA
2008
IEEE
15 years 4 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
147
click to vote
TII
2008
15 years 4 months ago
2008
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
162
click to vote
AIEDU
2004
15 years 4 months ago
2004
Although animated pedagogical agents are frequently found in intelligent tutoring systems and interactive learning environments, their effect on users' attitudes and learning ...