2702 search results - page 352 / 541 » Practically Applicable Formal Methods |
112
click to vote
COMPGEOM
1997
ACM
15 years 6 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
109
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
114
click to vote
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
The paper presents in brief a project aimed at the development of a methodology and corresponding software tools intended for building of proper environments giving up means for s...
HRI
2007
ACM
15 years 6 months ago
2007
ACM
Robots are being introduced in our society but their social status is still unclear. A critical issue is if the robot's exhibition of intelligent life-like behavior leads to ...
143
click to vote
ACCV
2006
Springer
15 years 6 months ago
2006
Springer
Blind blur identification in video sequences becomes more important. This paper presents a new method for identifying parameters of different blur kernels and image restoration in ...