6960 search results - page 1170 / 1392 » Continuity Analysis of Programs |
126
Voted
SIGIR
2008
ACM
15 years 3 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...
135
Voted
AAECC
2005
Springer
15 years 3 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...
130
Voted
TII
2008
15 years 3 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...
151
Voted
AIEDU
2004
15 years 3 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 ...
147
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...