Sciweavers

3006 search results - page 105 / 602
» Overview
Sort
View
MKM
2004
Springer
15 years 8 months ago
Copyright Issues for MKM
Abstract. We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Man...
Andrew A. Adams, James H. Davenport
CIE
2010
Springer
15 years 8 months ago
What Is the Problem with Proof Nets for Classical Logic?
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
Lutz Straßburger
MSS
2000
IEEE
105views Hardware» more  MSS 2000»
15 years 7 months ago
Connection of a Climate Model Database and Mass Storage Archive(s)
An overview of an existing climate database which allows for storage of terabyte data volume is presented. Some features like the general architecture and the integration with an ...
Michael Lautenschlager, Hannes Thiemann
141
Voted
HCI
2007
15 years 4 months ago
Evaluation of Wayfinding Aids Interface in Virtual Environment
It is difficult for a navigator to find a way to a given target location in an unfamiliar environment. Often, wayfinding guidance such as an overview map is provided to assist the ...
Anna Wu, Wei Zhang, Bo Hu, Xiaolong Zhang
INTERACT
2003
15 years 4 months ago
HCI in Brazil: Prospects and Challenges
: This work presents an overview of how HCI turned into an organised community in Brazil, the main activities that contributed to it, and the principal challenges we now face as an...
Maria Cecília Calani Baranauskas