8828 search results - page 1176 / 1766 » Formal methods in practice |
196
click to vote
ELPUB
2007
ACM
15 years 11 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...
181
click to vote
CANDT
2009
15 years 11 months ago
2009
Urban design today faces complex demands. It has become a necessity to negotiate between stakeholder objectives, the expectations of citizens, and the demands of planning. In this...
147
click to vote
HRI
2007
ACM
15 years 11 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 ...
230
click to vote
ACCV
2006
Springer
15 years 11 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 ...
191
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...