Sciweavers

2173 search results - page 246 / 435
» The History of the History of Software
Sort
View
ISEM
2008
88views more  ISEM 2008»
15 years 6 months ago
Evaluating transaction trust and risk levels in peer-to-peer e-commerce environments
As it lacks central management in Peer-to-Peer (P2P) e-commerce environments, prior to new transactions with an unknown peer, the trust evaluation is critical, which relies on the ...
Yan Wang 0002, Duncan S. Wong, Kwei-Jay Lin, Vijay...
IJON
2006
93views more  IJON 2006»
15 years 6 months ago
Eye movement predictions on natural videos
We analyze the predictability of eye movements of observers viewing dynamic scenes. We first assess the effectiveness of model-based prediction. The model is divided into inter-sa...
Martin Böhme, Michael Dorr, Christopher Kraus...
JLP
2008
81views more  JLP 2008»
15 years 6 months ago
Cut-free sequent systems for temporal logic
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
Kai Brünnler, Martin Lange
IWC
2006
64views more  IWC 2006»
15 years 6 months ago
Levels of automation and user participation in usability testing
This paper identifies a number of factors involved in current practices of usability testing and presents profiles for three prototype methods: think-aloud, subjective ratings, an...
Kent L. Norman, Emanuele Panizzi
JFR
2006
72views more  JFR 2006»
15 years 6 months ago
KAT-5: Robust systems for autonomous vehicle navigation in challenging and unknown terrain
Kat-5 was the fourth vehicle to make history in DARPA's 2005 Grand Challenge, where for the first time ever, autonomous vehicles were able to travel through 100 miles of roug...
Paul G. Trepagnier, Jorge Nagel, Powell M. Kinney,...