7986 search results - page 104 / 1598 » Computational Science and its Applications |
201
click to vote
ETS
2000
IEEE
15 years 5 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
141
click to vote
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
The World Wide Web has transformed itself in the last few years from a simple state-less multimedia platform to a global distributed processing environment. As Web computing gains...
183
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
188
click to vote
CAD
2010
Springer
15 years 5 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
168
click to vote
GI
2008
Springer
15 years 6 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...