1888 search results - page 196 / 378 » Proof theory and computational analysis |
89
Voted
AUTOMATICA
2008
15 years 28 days ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
122
Voted
ENTCS
2008
15 years 26 days ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
119
Voted
ENTCS
2002
15 years 18 days ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
99
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
153
Voted
CIKM
1997
Springer
15 years 5 months ago
1997
Springer
The access patterns of the users of a web-site are traditionally analyzed in order to facilitate the user access to the site's information. In this study, however, a systemat...