12741 search results - page 285 / 2549 » Editorial and call for papers |
183
click to vote
COOPIS
2003
IEEE
16 years 21 hour ago
2003
IEEE
In this paper, we propose an approach for guiding ontology managers through the modification of an ontology with respect to users' needs. It is based on the analysis of end-u...
203
click to vote
DSN
2003
IEEE
16 years 19 hour ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
154
click to vote
ICCD
2003
IEEE
16 years 15 hour ago
2003
IEEE
In this paper, we propose a novel compact BDD structure, called Non-crossing ordered BDD (NCOBDD), that can be mapped directly to a regular circuit structure. Compared with other ...
160
click to vote
ICDAR
2003
IEEE
16 years 15 hour ago
2003
IEEE
In this paper we present a top-down, projection-profile based algorithm to separate text blocks from image blocks in a Devanagari document. We use a distinctive feature of Devana...
148
click to vote
ISMVL
2003
IEEE
16 years 5 hour ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...