1407 search results - page 229 / 282 » Towards Usable Analysis, Design and Modeling Tools |
160
click to vote
AROBOTS
2007
15 years 6 months ago
2007
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...
150
click to vote
VMCAI
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
155
click to vote
AVI
2004
15 years 7 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...
174
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
The use of cellular data networks is increasingly popular due to the widespread deployment of 3G technologies and the rapid adoption of smartphones, such as iPhone and GPhone. Bes...
178
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...