2702 search results - page 352 / 541 » Practically Applicable Formal Methods |
168
click to vote
COMPGEOM
1997
ACM
15 years 10 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...
155
click to vote
CADE
1994
Springer
15 years 10 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...
175
click to vote
ELPUB
2007
ACM
15 years 10 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...
122
click to vote
HRI
2007
ACM
15 years 10 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 ...
198
click to vote
ACCV
2006
Springer
15 years 10 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 ...