2293 search results - page 308 / 459 » Temporal Logic in Information Systems |
162
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
132
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Both the academia and practice recognize that information technology (IT) investments may not yield immediate benefits. Nevertheless, there has been a lack of methodological devel...
150
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
: This paper analyzes how the information and communications technology-supported international eSourcing of software products and services (IeS) can be effectively executed. The e...
188
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...
146
click to vote
ICMCS
2007
IEEE
16 years 26 days ago
2007
IEEE
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...