Sciweavers

936 search results - page 139 / 188
» Predicting the Future
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
IJCAI
2003
15 years 7 months ago
Intelligent Techniques for Web Personalization
In this chapter we provide a comprehensive overview of the topic of Intelligent Techniques for Web Personalization. Web Personalization is viewed as an application of data mining a...
Sarabjot S. Anand, Bamshad Mobasher
TIP
2008
86views more  TIP 2008»
15 years 6 months ago
Learning the Dynamics and Time-Recursive Boundary Detection of Deformable Objects
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
Walter Sun, Müjdat Çetin, Raymond C. C...
ASYNC
2010
IEEE
230views Hardware» more  ASYNC 2010»
14 years 9 months ago
The Devolution of Synchronizers
— Synchronizers play a key role in multi-clock domain systems on chip. Traditionally, improvement of synchronization parameters with scaling has been assumed. In particular, the ...
Salomon Beer, Ran Ginosar, Michael Priel, Rostisla...
ASPDAC
2005
ACM
133views Hardware» more  ASPDAC 2005»
15 years 8 months ago
A novel O(n) parallel banker's algorithm for System-on-a-Chip
This paper proposes a novel O(n) Parallel Banker’s Algorithm (PBA) with a best-case run-time of O(1), reduced from an ¢¤£¦¥¨§© run-time complexity of the original Ban...
Jaehwan John Lee, Vincent John Mooney III