Sciweavers

823 search results - page 104 / 165
» Stateful Subset Cover
Sort
View
EMSOFT
2009
Springer
14 years 4 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
ICASSP
2008
IEEE
14 years 4 months ago
Onset detection in pitched non-percussive music using warping-compensated correlation
Automatically extracting temporal information from musical recordings is inarguably one of the most critical subtasks of many music information retrieval systems. In this paper we...
Olaf Schleusing, Bingjun Zhang, Ye Wang
IROS
2008
IEEE
103views Robotics» more  IROS 2008»
14 years 4 months ago
Repetitive grasping with anthropomorphic skin-covered hand enables robust haptic recognition
— Skin is an essential component of artificial hands. It enables the use of object affordance for recognition and control, but due to its intrinsic locality and low density of c...
Shinya Takamuku, Atsushi Fukuda, Koh Hosoda
RAM
2008
IEEE
137views Robotics» more  RAM 2008»
14 years 4 months ago
Middleware for Robotics: A Survey
—The field of robotics relies heavily on various technologies such as mechatronics, computing systems, and wireless communication. Given the fast growing technological progress i...
Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar
GLOBECOM
2007
IEEE
14 years 4 months ago
Extension and Comparison of QoS-Enabled Wi-Fi Models in the Presence of Errors
—In this paper we compare and enhance the three prevailing approaches of IEEE 802.11e Performance analysis. Specifically, the first model utilizes a Markov Chain to describe th...
Ioannis Papapanagiotou, Georgios S. Paschos, Stavr...