5510 search results - page 228 / 1102 » Mathematics |
167
click to vote
LFCS
2009
Springer
16 years 8 days ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
155
click to vote
MKM
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
131
click to vote
SAINT
2008
IEEE
16 years 3 days ago
2008
IEEE
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
150
click to vote
INFOCOM
2007
IEEE
16 years 15 hour ago
2007
IEEE
—802.11a, b, and g standards were designed for deployment in cooperative environments, and hence do not include mechanisms to protect from jamming attacks. In this paper, we expl...
154
click to vote
ACCV
2007
Springer
15 years 12 months ago
2007
Springer
This is a survey paper summarizing recent research aimed at finding guaranteed optimal algorithms for solving problems in Multiview Geometry. Many of the traditional problems in M...