5392 search results - page 1031 / 1079 » Formalization, User Strategy And Interaction Design: Users |
TCS
2002
13 years 8 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
TACAS
2012
Springer
12 years 4 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
VISUALIZATION
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
ICRA
1998
IEEE
14 years 29 days ago
1998
IEEE
In June and July 1997, Nomad, a planetary-relevant mobile robot, traversed more than 220 kilometers across the barren Atacama Desert in Chile, exploring a landscape analogous to t...