1579 search results - page 211 / 316 » On the Constructions of Constant-Weight Codes |
163
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
227
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
167
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
153
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
165
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...