Sciweavers

14244 search results - page 649 / 2849
» Modeling Program Predictability
Sort
View
WISES
2003
15 years 8 months ago
Logical versus Physical Programming for Ubiquitous Applications
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
Julien Pauty, Michel Banâtre, Paul Couderc
IANDC
2006
78views more  IANDC 2006»
15 years 7 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
CORR
2011
Springer
169views Education» more  CORR 2011»
15 years 2 months ago
Lower bound for deterministic semantic-incremental branching programs solving GEN
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
Dustin Wehr
WWW
2007
ACM
16 years 7 months ago
Web projections: learning from contextual subgraphs of the web
Graphical relationships among web pages have been leveraged as sources of information in methods for ranking search results. To date, specific graphical properties have been used ...
Jure Leskovec, Susan T. Dumais, Eric Horvitz
EWSN
2006
Springer
16 years 6 months ago
PAQ: Time Series Forecasting for Approximate Query Answering in Sensor Networks
In this paper, we present a method for approximating the values of sensors in a wireless sensor network based on time series forecasting. More specifically, our approach relies on ...
Daniela Tulone, Samuel Madden