3006 search results - page 105 / 602 » Overview |
105
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
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...
127
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
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...
111
click to vote
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
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 ...
141
Voted
HCI
2007
15 years 4 months ago
2007
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 ...
INTERACT
2003
15 years 4 months ago
2003
: 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...