1996 search results - page 86 / 400 » A decision procedure for linear |
148
click to vote
APN
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
164
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...
124
click to vote
FLAIRS
2001
15 years 7 months ago
2001
Several modelsfor handlingvagueand impreciseinformation in decision situations havebeensuggested.In those contexts, various interval methodshaveprevailed, i.e. methodsbasedoninter...
157
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We investigate the average-case complexity of decision problems for finitely generated groups, in particular the word and membership problems. Using our recent results on...
145
click to vote
TWC
2008
15 years 6 months ago
2008
This letter proposes a hybrid decision-feedback equalizer (HDFE) for DS-CDMA systems. The proposed HDFE is carried out in two stages to improve the accuracy of the feedback signals...