4674 search results - page 146 / 935 » cases 2008 |
138
click to vote
LREC
2008
15 years 7 months ago
2008
Computational terminology has notably evolved since the advent of computers. Regarding the extraction of terms in particular, a large number of resources has been developed: from ...
175
click to vote
DM
2008
15 years 6 months ago
2008
We construct an "orbital Tutte polynomial" associated with a dual pair M and M of matrices over a principal ideal domain R and a group G of automorphisms of the row spac...
190
click to vote
NECO
2008
15 years 6 months ago
2008
The perceptron (also referred to as McCulloch-Pitts neuron, or linear threshold gate) is commonly used as a simplified model for the discrimination and learning capability of a bi...
150
click to vote
TSE
1998
15 years 5 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
144
click to vote
FAW
2008
Springer
15 years 7 months ago
2008
Springer
We study the parameterized complexity of an NP-complete geometric covering problem called d-dimensional Rectangle Stabbing where we are given a set of axis-parallel d-dimensional h...