Sciweavers

6960 search results - page 186 / 1392
» Continuity Analysis of Programs
Sort
View
146
Voted
AAAI
2007
15 years 5 months ago
Nonmyopic Informative Path Planning in Spatio-Temporal Models
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
Alexandra Meliou, Andreas Krause, Carlos Guestrin,...
NIPS
2000
15 years 4 months ago
Ensemble Learning and Linear Response Theory for ICA
We propose a general framework for performing independent component analysis (ICA) which relies on ensemble learning and linear response theory known from statistical physics. We ...
Pedro A. d. F. R. Højen-Sørensen, Ol...
CSDA
2008
98views more  CSDA 2008»
15 years 3 months ago
Forecasting binary longitudinal data by a functional PC-ARIMA model
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
133
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
SemDiff: Analysis and recommendation support for API evolution
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
Barthélémy Dagenais, Martin P. Robil...
145
Voted
SPC
2005
Springer
15 years 9 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...