131
click to vote
TSD
2000
Springer
15 years 7 months ago
2000
Springer
stic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
131
click to vote
TSD
2000
Springer
15 years 7 months ago
2000
Springer
A method for stochastically modeling bidirectionality in chart parsing is presented. A bidirectional parser, which starts analysis from certain dynamically determined positions of ...
139
click to vote
CP
1995
Springer
15 years 7 months ago
1995
Springer
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
134
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE