Sciweavers

4708 search results - page 138 / 942
» Generating the Structure of Argument
Sort
View
157
Voted
IASSE
2004
15 years 6 months ago
A Rationale-based Analysis Tool
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
Timo Wolf, Allen H. Dutoit
129
Voted
JCT
2010
72views more  JCT 2010»
15 years 3 months ago
Extensions and restrictions of Wythoff's game preserving its p positions
We consider extensions and restrictions of Wythoff’s game having exactly the same set of P positions as the original game. No strict subset of rules give the same set of P posit...
Éric Duchêne, Aviezri S. Fraenkel, Ri...
TVCG
2010
174views more  TVCG 2010»
15 years 3 months ago
Subdivision Analysis of the Trilinear Interpolant
— Isosurfaces are fundamental volumetric visualization tools, and are generated by the well-known Marching Cubes cases that approximate contours of trilinearly-interpolated scala...
Hamish Carr, Nelson Max
130
Voted
FCS
2006
15 years 6 months ago
Discovering the Impact of Group Structure on 3-SAT
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
James McQuillan, Craig Damon
AAECC
2002
Springer
132views Algorithms» more  AAECC 2002»
15 years 4 months ago
Lattice Structure and Linear Complexity of Nonlinear Pseudorandom Numbers
It is shown that a q-periodic sequence over the finite field Fq passes an extended version of Marsaglia's lattice test for high dimensions if and only if its linear complexity...
Harald Niederreiter, Arne Winterhof