1008 search results - page 74 / 202 » Canonicity! |
118
Voted
JCDL
2010
ACM
15 years 8 months ago
2010
ACM
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
191
click to vote
ISSAC
1997
Springer
15 years 7 months ago
1997
Springer
Gaussian elimination is the basis for classical algorithms for computing canonical forms of integer matrices. Experimental results have shown that integer Gaussian elimination may...
158
click to vote
POPL
1993
ACM
15 years 7 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
FC
2010
Springer
15 years 7 months ago
2010
Springer
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
129
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The collision test is an important statistical test for rejecting poor random number generators. The test simulates the throwing of balls randomly into urns. A problem in applying...