3238 search results - page 198 / 648 » On the Computational Interpretation of Negation |
186
click to vote
ACMSE
2005
ACM
16 years 4 days ago
2005
ACM
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...
158
click to vote
COCO
2005
Springer
16 years 3 days ago
2005
Springer
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
158
click to vote
ICCSA
2005
Springer
16 years 2 days ago
2005
Springer
Since syntactically different URLs could represent the same resource in WWW, there are on-going efforts to define the URL normalization in the standard communities. This paper cons...
162
click to vote
STACS
2005
Springer
16 years 1 days ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
191
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...