-
NBI
- Referenced in 217 articles
[sw05075]
- problem. Such points collectively capture the trade-off among the various conflicting objectives...
-
RP-DeLP
- Referenced in 4 articles
[sw19192]
- formalizing a notion of collective (non-binary) conflict among arguments. The recursive semantics for warranted ... warranted formulas do not generate any collective conflict, blocked conclusions do. Formulas that are neither...
-
Densityfold
- Referenced in 1 article
[sw12673]
- goal is to compute a non-conflicting collection of structural elements such as hairpins, bulges...
-
CREAM
- Referenced in 1 article
[sw02324]
- interoperability; mediators collect information from heterogeneous and autonomous sources and resolve semantic conflicts by referring...
-
ReLogit
- Referenced in 1 article
[sw26220]
- events has led to data collections with huge numbers of obser vations but relatively ... explanator y variables, such as in international conflict data with more than a quarter-million ... much as 99% of their (nonfixed) data collection costs or to collect much more meaningful...
-
PhySIC
- Referenced in 8 articles
[sw08376]
- present in a source tree or collectively induced by several source trees. We provide simple ... also tagged by labels indicating areas of conflict as well as those with insufficient overlap...
-
Agent_Zero
- Referenced in 0 articles
[sw08478]
- they collectively generate an astonishing range of dynamics spanning the fields of social conflict, psychology...
-
CodeLabeller
- Referenced in 1 article
[sw39681]
- team of labellers is small, and conflicting opinions between labellers, if large. Thus, we present ... files at scale by improving the data collection process throughout, and improving the degree...
-
CUTE
- Referenced in 66 articles
[sw00177]
- CUTE: a concolic unit testing engine for C...
-
Maple
- Referenced in 5403 articles
[sw00545]
- The result of over 30 years of cutting...
-
MapReduce
- Referenced in 267 articles
[sw00546]
- MapReduce is a new parallel programming model initially...
-
Mathematica
- Referenced in 6445 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13702 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MiniSat
- Referenced in 584 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
R
- Referenced in 10196 articles
[sw00771]
- R is a language and environment for statistical...
-
SCIP
- Referenced in 554 articles
[sw01091]
- SCIP is currently one of the fastest non...
-
SATLIB
- Referenced in 59 articles
[sw02107]
- SATLIB is a collection of benchmark problems, solvers...
-
CALMA
- Referenced in 109 articles
[sw03235]
- Algorithms for radio link frequency assignment: The CALMA...
-
MIPLIB
- Referenced in 334 articles
[sw04067]
- A mixed integer (linear) program (mip) is an...
-
UCI-ml
- Referenced in 3444 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...