1005 search results - page 99 / 201 » A Language for Manipulating Arrays |
157
click to vote
IR
2002
15 years 4 months ago
2002
This paper presents the design and evaluation of a text categorization method based on the Hierarchical Mixture of Experts model. This model uses a divide and conquer principle to ...
194
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Open bug reporting allows end-users to express a vast array of unwanted software behaviors. However, users’ expectations often clash with developers’ implementation intents. W...
171
click to vote
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
168
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
135
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...