223 search results - page 10 / 45 » Overview of QAST 2009 |
CAI
2009
Springer
14 years 2 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
ESSLLI
2009
Springer
13 years 5 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
HCI
2009
13 years 5 months ago
2009
This paper presents an overview of methods used when measuring driver behavior and performance. Simulators, test-track, on-road, field-operational-trials, and naturalisitic methods...
ICWSM
2009
13 years 5 months ago
2009
We present a tool BlogTrackers, which assists sociologists to track and analyze blogs of particular interests by designing and integrating unique features. We present an overview ...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Sparsity constraints are now very popular to regularized inverse problems. We review several approaches which have been proposed in the last ten years to solve inverse problems su...