1860 search results - page 70 / 372 » tools 2009 |
GI
2009
Springer
15 years 3 months ago
2009
Springer
: We are presenting a tool for collecting and analysing computer usage data. The observed data are locally used by the user to self-monitor and self-reflect her behaviour, decontro...
AMI
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
111
click to vote
EUSFLAT
2009
14 years 8 months ago
2009
The goal of this paper is to consider properties of the composition of interval-valued fuzzy relations which were introduced by L.A. Zadeh in 1975. Fuzzy set theory turned out to b...
ICRA
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper builds on the combination of robotic path planning algorithms and molecular modeling methods for computing large-amplitude molecular motions, and introduces voxel maps a...
SSDBM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. We introduce AdaptPD, an automated physical design tool that improves database performance by continuously monitoring changes in the workload and adapting the physical de...