Sciweavers

3235 search results - page 228 / 647
» Partial Redundant Modeling
Sort
View
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
16 years 1 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...
ARCS
2006
Springer
15 years 10 months ago
Error-Correcting Codes in Steganography
: We investigate image steganography under re-encoding of images. After a secret message or a digital watermark is embedded into a jpeg image, quite frequently the image is re-enco...
Jörg Keller, Johannes Magauer
FMCO
2004
Springer
15 years 10 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa
LREC
2010
167views Education» more  LREC 2010»
15 years 8 months ago
Hybrid Constituent and Dependency Parsing with Tsinghua Chinese Treebank
In this paper, we describe our hybrid parsing model on Mandarin Chinese processing. The model combines the mainstream constitute and dependency parsing and the dataset we use it t...
Rui Wang 0005, Yi Zhang 0003
AAAI
2004
15 years 8 months ago
An Instance-Based State Representation for Network Repair
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
Michael L. Littman, Nishkam Ravi, Eitan Fenson, Ri...