4328 search results - page 79 / 866 » A New Kind of Science |
154
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...
131
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Heritage management in New Zealand is data rich but information poor. For nearly 50 years, the New Zealand Archaeological Association has maintained a paper based, largely textual...
148
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
EGovernment would be a lot easier if it could be handled like eBusiness. Unfortunately there are organizational and legal obstacles that make it virtually impossible. The security...
164
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
TCP is known to have poor performance over unreliable wireless links where packet losses due to transmission errors are misinterpreted as indications of network congestion. TCP en...
145
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
We present a new adaptive fast multipole algorithm and its parallel implementation. The algorithm is kernel-independent in the sense that the evaluation of pairwise interactions do...