Sciweavers

6413 search results - page 919 / 1283
» Classes of cycle bases
Sort
View
HASE
2007
IEEE
16 years 1 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
ICMCS
2007
IEEE
151views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Exploring Contextual Information in a Layered Framework for Group Action Recognition
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
Dong Zhang, Samy Bengio
MSS
2007
IEEE
82views Hardware» more  MSS 2007»
16 years 1 months ago
Tornado Codes for MAID Archival Storage
This paper examines the application of Tornado Codes, a class of low density parity check (LDPC) erasure codes, to archival storage systems based on massive arrays of idle disks (...
Matthew Woitaszek, Henry M. Tufo
SBACPAD
2007
IEEE
85views Hardware» more  SBACPAD 2007»
16 years 1 months ago
Exigency-based real-time scheduling policy to provide absolute QoS for web services
— Telemedicine, distance learning and e-commerce applications impose time constraints directly related to the efficacy of their operations. In order to offer reliability levels ...
Lucas S. Casagrande, Rodrigo Fernandes de Mello, R...
AMR
2007
Springer
143views Multimedia» more  AMR 2007»
16 years 1 months ago
User Modelling for Interactive User-Adaptive Collection Structuring
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
Andreas Nürnberger, Sebastian Stober