Sciweavers

1224 search results - page 179 / 245
» Theory decision by decomposition
Sort
View
131
Voted
CCIA
2010
Springer
14 years 7 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...
134
Voted
CORR
2011
Springer
208views Education» more  CORR 2011»
14 years 7 months ago
GRASP and path-relinking for Coalition Structure Generation
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
119
Voted
TSMC
2010
14 years 7 months ago
Incomplete Multigranulation Rough Set
The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
Yuhua Qian, Jiye Liang, Chuangyin Dang
109
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Downlink multicell cooperative transmission with imperfect CSI sharing
This paper studies downlink multicell cooperative transmission with imperfect CSI sharing led by backhaul latency, assuming full data sharing amongst coordinated base stations (BS...
Shengqian Han, Chenyang Yang
DAC
2005
ACM
16 years 1 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu