Sciweavers

114 search results - page 5 / 23
» Towards a Theory of Data Entanglement: (Extended Abstract)
Sort
View
TEAA
2005
Springer
126views Hardware» more  TEAA 2005»
15 years 5 months ago
Towards a Secure Data Stream Management System
Abstract. Todays data stream management systems (DSMSs) lack security functionality. Based on adversary scenarios we show how a DSMS architecture can be protected. We sketch a gene...
Wolfgang Lindner, Jörg Meier
FOIS
2006
15 years 1 months ago
Towards an ontology of agency and action From STIT to OntoSTIT+
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
Nicolas Troquard, Robert Trypuz, Laure Vieu
JMLR
2008
159views more  JMLR 2008»
14 years 11 months ago
Near-Optimal Sensor Placements in Gaussian Processes: Theory, Efficient Algorithms and Empirical Studies
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
Andreas Krause, Ajit Paul Singh, Carlos Guestrin
JCP
2007
115views more  JCP 2007»
14 years 11 months ago
Toward The Use Of The Time-Warping Principle With Discrete-Time Sequences
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
Arnaud Jarrot, Cornel Ioana, André Quinquis
CSL
2005
Springer
15 years 5 months ago
Towards a Typed Geometry of Interaction
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
Esfandiar Haghverdi, Philip J. Scott