101 search results - page 18 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
BMCBI
2010
13 years 8 months ago
2010
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
EMNETS
2007
13 years 11 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
RAS
2006
13 years 7 months ago
2006
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...