Sciweavers

7352 search results - page 166 / 1471
» Universal access to information
Sort
View
TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...
131
Voted
RTA
2010
Springer
15 years 4 months ago
The Undecidability of Type Related Problems in Type-free Style System F
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
Ken-etsu Fujita, Aleksy Schubert
RR
2010
Springer
15 years 4 months ago
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
Klara A. Weiand, Steffen Hausmann, Tim Furche, Fra...
159
Voted
ERSHOV
2006
Springer
15 years 9 months ago
A Knowledge Portal for Cultural Information Resources: Towards an Architecture
The paper presents a concept and architecture of specialized Internet portal providing semantic access to knowledge and information resources (electronic collections) for any given...
Yury A. Zagorulko, Jawed I. A. Siddiqi, Babak Akhg...
ICALT
2005
IEEE
15 years 11 months ago
Informal Health and Legal Rights Education in Rural, Agricultural Communities Using Mobile Devices
The focus of this work is on the design of a system for informal education in rural, farmworker populations using mobile devices. We have conducted needs assessment with farmworke...
Jaspal S. Sandhu, Jonathan Hey, Catherine Newman, ...