3145 search results - page 122 / 629 » Algebraic Linear Orderings |
117
click to vote
ISM
2006
IEEE
15 years 10 months ago
2006
IEEE
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
120
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
131
click to vote
KES
2004
Springer
15 years 9 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
139
click to vote
JC
2007
15 years 4 months ago
2007
We extend the lower bounds on the complexity of computing Betti numbers proved in [6] to complex algebraic varieties. More precisely, we first prove that the problem of deciding ...
144
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Linear Support Vector Machines (SVMs) have become one of the most prominent machine learning techniques for highdimensional sparse data commonly encountered in applications like t...