162 search results - page 13 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a usage consultation tool, based on Internet searching, for language learners. When a user enters a string of words for which he wants to find usages, the system sends ...
PPOPP
1993
ACM
13 years 11 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
ASIAMS
2009
IEEE
14 years 2 months ago
2009
IEEE
Networking community is largely depend on simulation to evaluate the behavior and performance of protocols for wireless networks, simulations are a good compromise between cost an...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...