12697 search results - page 241 / 2540 » Call for Papers |
194
click to vote
IBPRIA
2005
Springer
16 years 6 days ago
2005
Springer
The process of mixing labelled and unlabelled data is being recently studied in semi-supervision techniques. However, this is not the only scenario in which mixture of labelled and...
174
click to vote
QOFIS
2004
Springer
16 years 19 hour ago
2004
Springer
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
146
click to vote
SAT
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
199
click to vote
DSN
2003
IEEE
15 years 12 months 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
15 years 12 months 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 ...