3090 search results - page 375 / 618 » On Testing Answer-Set Programs |
115
click to vote
CIRA
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. To test the impacts, a flexible beam is clamped to the end-effector of a man...
148
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
158
click to vote
EUROITV
2007
Springer
16 years 19 days ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
167
click to vote
UM
2007
Springer
16 years 17 days ago
2007
Springer
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
163
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...