Sciweavers

5863 search results - page 808 / 1173
» On Model-Checking of P Systems
Sort
View
DAC
2005
ACM
16 years 7 months ago
Incremental exploration of the combined physical and behavioral design space
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
Zhenyu (Peter) Gu, Jia Wang, Robert P. Dick, Hai Z...
HYBRID
2010
Springer
16 years 1 months ago
On integration of event-based estimation and robust MPC in a feedback loop
The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...
Joris Sijs, Mircea Lazar, W. P. M. H. Heemels
HAPTICS
2009
IEEE
16 years 1 months ago
A low cost vibrotactile array to manage respiratory motion
We present a tactile Respiratory Management System (tRMS) to manage and control breathing patterns of cancer patients undergoing radiation therapy. The system comprises of an arra...
Ali Israr, Dillon P. Eng, Sastry S. Vedam, Marcia ...
RAID
2009
Springer
16 years 1 months ago
Regular Expression Matching on Graphics Hardware for Intrusion Detection
The expressive power of regular expressions has been often exploited in network intrusion detection systems, virus scanners, and spam filtering applications. However, the flexibl...
Giorgos Vasiliadis, Michalis Polychronakis, Spyros...
UM
2009
Springer
16 years 1 months ago
What Have the Neighbours Ever Done for Us? A Collaborative Filtering Perspective
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...
Rachael Rafter, Michael P. O'Mahony, Neil J. Hurle...