Sciweavers

3047 search results - page 66 / 610
» A Temporal Consensus Model
Sort
View
LICS
2006
IEEE
15 years 11 months ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer
FLAIRS
2008
15 years 7 months ago
ThomCat: A Bayesian Blackboard Model of Hierarchical Temporal Perception
We present a Bayesian blackboard system for temporal perception, applied to a minidomain task in musical scene analysis. It is similar to the classic Copycat architecture (Hofstad...
Charles W. Fox
JSSPP
2009
Springer
15 years 11 months ago
Modeling Parallel System Workloads with Temporal Locality
In parallel systems, similar jobs tend to arrive within bursty periods. This fact leads to the existence of the locality phenomenon, a persistent similarity between nearby jobs, in...
Tran Ngoc Minh, Lex Wolters
157
Voted
ICDM
2008
IEEE
190views Data Mining» more  ICDM 2008»
15 years 11 months ago
Simultaneous Co-segmentation and Predictive Modeling for Large, Temporal Marketing Data
Several marketing problems involve prediction of customer purchase behavior and forecasting future preferences. We consider predictive modeling of large scale, bi-modal or multimo...
Meghana Deodhar, Joydeep Ghosh
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
A SpatioTemporal Placement Model for Caching Location Dependent Queries
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
Anand Murugappan, Ling Liu