Sciweavers

4041 search results - page 43 / 809
» time 2009
Sort
View
FORMATS
2009
Springer
15 years 9 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
194
Voted
FLAIRS
2009
15 years 3 months ago
Multiagent Bayesian Forecasting of Time Series with Graphical Models
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...
Yang Xiang, James Smith, Jeff Kroes
ICC
2009
IEEE
135views Communications» more  ICC 2009»
16 years 16 days ago
Completion Time Minimization and Robust Power Control in Wireless Packet Networks
A wireless packet network is considered in which each user transmits a stream of packets to its destination. The transmit power of each user interferes with the transmission of al...
Chris T. K. Ng, Muriel Médard, Asuman E. Oz...
159
Voted
ICDM
2009
IEEE
197views Data Mining» more  ICDM 2009»
15 years 3 months ago
A Linear-Time Graph Kernel
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...
Shohei Hido, Hisashi Kashima
154
Voted
DATE
2009
IEEE
172views Hardware» more  DATE 2009»
16 years 17 days ago
On bounding response times under software transactional memory in distributed multiprocessor real-time systems
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...