Sciweavers

3443 search results - page 642 / 689
» More Algebras for Determiners
Sort
View
DEXAW
2010
IEEE
181views Database» more  DEXAW 2010»
13 years 9 months ago
Towards a Search System for the Web Exploiting Spatial Data of a Web Document
In this paper, we describe our work in progress in the scope of information retrieval exploiting the spatial data extracted from web documents. We discuss problems of a search for ...
Stefan Dlugolinsky, Michal Laclavik, Ladislav Hluc...
ICFP
2010
ACM
13 years 9 months ago
Logical types for untyped languages
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
Sam Tobin-Hochstadt, Matthias Felleisen
ISLPED
2010
ACM
204views Hardware» more  ISLPED 2010»
13 years 8 months ago
Maximum power transfer tracking for a photovoltaic-supercapacitor energy system
It is important to maintain high efficiency when charging electrical energy storage elements so as to achieve holistic optimization from an energy generation source (e.g., a solar...
Younghyun Kim, Naehyuck Chang, Yanzhi Wang, Massou...
MOBICOM
2010
ACM
13 years 8 months ago
Sybot: an adaptive and mobile spectrum survey system for wifi networks
Information on site-specific spectrum characteristics is essential to evaluate and improve the performance of wireless networks. However, it is usually very costly to obtain accur...
Kyu-Han Kim, Alexander W. Min, Kang G. Shin
WWW
2010
ACM
13 years 8 months ago
Randomization tests for distinguishing social influence and homophily effects
Relational autocorrelation is ubiquitous in relational domains. This observed correlation between class labels of linked instances in a network (e.g., two friends are more likely ...
Timothy La Fond, Jennifer Neville