200 search results - page 6 / 40 » An Update from VisWeek 2009 |
137
Voted
IFIP12
2009
15 years 3 months ago
2009
Pervasive computing requires infrastructures that adapt to changes in user behaviour while minimising user interactions. Policy-based approaches have been proposed as a means of pr...
159
click to vote
TPHOL
2009
IEEE
16 years 7 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
142
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
172
click to vote
DASFAA
2009
IEEE
16 years 12 days ago
2009
IEEE
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
150
click to vote
WEBDB
2009
Springer
16 years 5 days ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...