1916 search results - page 260 / 384 » Reconfiguring a state machine |
180
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we present a novel reversible watermarking scheme for image authentication for JPEG/JPEG-2000 coded images. Since the watermarking scheme is reversible, the exact o...
184
click to vote
IEEESCC
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
154
click to vote
AOSE
2005
Springer
16 years 12 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
146
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
159
click to vote
IJCNLP
2005
Springer
16 years 10 days ago
2005
Springer
Biomedical named entity recognition (NER) is a difficult problem in biomedical information processing due to the widespread ambiguity of terms out of context and extensive lexical ...