Sciweavers

3007 search results - page 388 / 602
» Designing for collective remembering
Sort
View
MDM
2009
Springer
133views Communications» more  MDM 2009»
15 years 8 months ago
YushanNet: A Delay-Tolerant Wireless Sensor Network for Hiker Tracking in Yushan National Park
The objective of YushanNet is to provide a reliable and robust system for hiker tracking in Yushan National Park, Taiwan. The aggregated information can help national parks to pro...
Yu-Te Huang, Yi-Chao Chen, Jyh-How Huang, Ling-Jyh...
MKM
2009
Springer
15 years 8 months ago
Combined Decision Techniques for the Existential Theory of the Reals
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
Grant Olney Passmore, Paul B. Jackson
SEMWEB
2009
Springer
15 years 8 months ago
Functions over RDF Language Elements
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...
Bernhard Schandl
SERA
2009
Springer
15 years 8 months ago
Syntactic and Semantic Prediction in Dynamic Languages
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
Jakub Mísek, Filip Zavoral
133
Voted
TARK
2009
Springer
15 years 8 months ago
Contractual traps
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
Ying-Ju Chen, Xiaojian Zhao