11172 search results - page 531 / 2235 » Testing Physical Systems |
213
Voted
PADL
2001
Springer
15 years 11 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
232
click to vote
DSS
2007
15 years 7 months ago
2007
Recent research suggests that creativity can enhance the performance of people for a variety of tasks, including decisionmaking. Creativity enhancements can be delivered through a...
185
click to vote
AAI
2004
15 years 7 months ago
2004
The ReGreT system is a trust and reputation mechanism that uses, among other things, social information to improve the calculation of trust and reputation measures. Using a framew...
168
click to vote
ACL
2012
13 years 9 months ago
2012
We demonstrate a web-based environment for development and testing of different pedestrian route instruction-giving systems. The environment contains a City Model, a TTS interface...
205
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...