3108 search results - page 156 / 622 » The Elements of Computer Credibility |
163
click to vote
MOC
2000
15 years 6 months ago
2000
The purpose of this paper is to describe a method to determine whether a bivariate polynomial with rational coefficients is irreducible when regarded as an element in Q((x))[y], th...
158
click to vote
JSC
2010
15 years 4 months ago
2010
We describe an algorithm for computing automorphism groups and testing isomorphisms of finite dimensional Lie algebras over finite fields. The algorithm is particularly effect...
176
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. The visualization of geographic information requires large displays. Even large screens can be insufficient to visualize e.g. a long route in a scale, such that all decis...
183
click to vote
IDC
2009
Springer
15 years 4 months ago
2009
Springer
Emergence is a key element in the research of multi-agent systems. Emergent properties provide higher level features to a system formed of simpler individuals. So far, emergence ha...
193
click to vote
TCS
2010
15 years 1 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...