2230 search results - page 347 / 446 » Reformulating Constraint Models Using Input Data |
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Conditional random fields(CRFs) are a class of undirected graphical models which have been widely used for classifying and labeling sequence data. The training of CRFs is typicall...
100
click to vote
SCP
2010
14 years 8 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
BC
1998
14 years 9 months ago
1998
A simple analytical model is proposed here that captures to a large extent the kinematic structure of rat exploratory behavior. Previous studies have shown that such behavior consi...
ISAAC
2009
Springer
15 years 4 months ago
2009
Springer
The k-means algorithm is the method of choice for clustering large-scale data sets and it performs exceedingly well in practice. Most of the theoretical work is restricted to the c...
IUI
2010
ACM
14 years 11 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...