4340 search results - page 732 / 868 » Formal Methods and Cryptography |
129
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
129
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...
159
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
129
Voted
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
132
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...