Sciweavers

4983 search results - page 615 / 997
» order 2008
Sort
View
SIAMCOMP
2002
112views more  SIAMCOMP 2002»
15 years 7 months ago
The Efficiency of Resolution and Davis--Putnam Procedures
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...
SIAMDM
2002
124views more  SIAMDM 2002»
15 years 7 months ago
Counting Claw-Free Cubic Graphs
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...
Edgar M. Palmer, Ronald C. Read, Robert W. Robinso...
TIP
1998
109views more  TIP 1998»
15 years 7 months ago
Extraction of signatures from check background based on a filiformity criterion
—Extracting a signature from a check with patterned background is a thorny problem in image segmentation. Methods based on threshold techniques often necessitate meticulous postp...
Salim Djeziri, Fathallah Nouboud, Réjean Pl...
TIT
1998
91views more  TIT 1998»
15 years 7 months ago
Multiaccess Fading Channels-Part II: Delay-Limited Capacities
—In multiaccess wireless systems, dynamic allocation of resources such as transmit power, bandwidths, and rates is an important means to deal with the time-varying nature of the ...
Stephen V. Hanly, David N. C. Tse
TNN
1998
254views more  TNN 1998»
15 years 7 months ago
Comparative analysis of fuzzy ART and ART-2A network clustering performance
—Adaptive resonance theory (ART) describes a family of self-organizing neural networks, capable of clustering arbitrary sequences of input patterns into stable recognition codes....
T. Frank, Karl-Friedrich Kraiss, Torsten Kuhlen