3090 search results - page 583 / 618 » On Testing Answer-Set Programs |
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
172
click to vote
AIHC
2007
Springer
15 years 10 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
135
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
139
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
141
click to vote
FSKD
2007
Springer
15 years 10 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...