1224 search results - page 42 / 245 » Theory decision by decomposition |
174
Voted
FOCS
1997
IEEE
15 years 5 months ago
1997
IEEE
We introduce a new approach to the maximum flow problem. This approach is based on assigning arc lengths based on the residual flow value and the residual arc capacities. Our appro...
82
Voted
ISMVL
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
94
Voted
AI
2010
Springer
15 years 5 months ago
2010
Springer
Many classification techniques used for identifying spam emails, treat spam filtering as a binary classification problem. That is, the incoming email is either spam or non-spam....
85
Voted
ENTCS
2006
15 years 23 days ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
106
Voted
IOR
2002
15 years 13 days ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...