2086 search results - page 148 / 418 » Mathematical Theory Exploration |
83
Voted
JSYML
2006
15 years 3 months ago
2006
Abstract. We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a functi...
120
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Many nonlinear systems of practical interest evolve on Lie groups or on manifolds acted upon by Lie groups. Examples range from aircraft and underwater vehicles to quantum mechanic...
160
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
147
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
139
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...