3483 search results - page 222 / 697 » Forward |
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
128
click to vote
AO
2006
15 years 6 months ago
2006
Abstract. That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson...
197
click to vote
CCE
2006
15 years 6 months ago
2006
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
159
click to vote
JGTOOLS
2008
15 years 6 months ago
2008
We present a fast vectorized implementation of a transform that maps points in the unit square to the surface of the sphere, while preserving fractional area. The mapping uses the ...
149
click to vote
JNW
2008
15 years 6 months ago
2008
- We present a new protocol for reliable data transfer in time-critical applications with zero tolerance for data loss in wireless sensor networks which uses less time and fewer me...