Sciweavers

7380 search results - page 305 / 1476
» time 2008
Sort
View
TSP
2008
114views more  TSP 2008»
15 years 6 months ago
Universal Switching Linear Least Squares Prediction
We consider sequential regression of individual sequences under the square error loss. Using a competitive algorithm framework, we construct a sequential algorithm that can achieve...
Suleyman Serdar Kozat, Andrew C. Singer
TIME
2008
IEEE
16 years 1 months ago
Decomposition of Decidable First-Order Logics over Integers and Reals
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
Florent Bouchy, Alain Finkel, Jérôme ...
TIME
2008
IEEE
16 years 1 months ago
Practical First-Order Temporal Reasoning
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
Clare Dixon, Michael Fisher, Boris Konev, Alexei L...
SOCRATES
2008
115views Education» more  SOCRATES 2008»
15 years 8 months ago
Collaborative Online Learning: A Heterogeneous Phenomenon
This paper investigates the virtual seminar "Education and Socialization in Early Childhood" at the LudwigMaximilians-University, Munich. In this seminar, we focused on ...
Birgitta Kopp, Heinz Mandl
CN
2008
96views more  CN 2008»
15 years 6 months ago
Deadline-based scheduling in support of real-time data delivery
The use of deadline-based scheduling in support of real-time delivery of application data units (ADUs) in a packet-switched network is investigated. Of interest is priority schedu...
Yanni Ellen Liu, Johnny W. Wong