2806 search results - page 140 / 562 » BML and Related Tools |
142
click to vote
ICCS
2003
Springer
16 years 5 days ago
2003
Springer
A head-mounted camera is a useful tool for studying the usability of mobile devices in the field. In this paper, a computerized visualization method is presented. It includes the t...
167
Voted
AMI
2009
Springer
15 years 11 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...
133
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
174
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
194
click to vote
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
Factor model is a very useful and popular model in finance. In this paper, we show the relation between factor model and blind source separation, and we propose to use Independent ...