762 search results - page 13 / 153 » Finding Facilities Fast |
CPHYSICS
2004
13 years 10 months ago
2004
A new numerical code is developed to assist the interpretation of experimental results from the Versatile Toroidal Facility (VTF) magnetic reconnection experiment. As input the co...
LPAR
2005
Springer
14 years 4 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
MMM
2010
Springer
13 years 8 months ago
2010
Springer
Interactive navigation through a video is a simple way for a user to get a quick overview of its content and to find interesting scenes. Although common video players provide only ...
KDD
1998
ACM
14 years 3 months ago
1998
ACM
Abstract: The problem of discovering association rules in large databases has received considerable research attention. Much research has examined the exhaustive discovery of all a...
Publication
Transportation specialists, urban planners, and public health officials have
been steadfast in encouraging active modes of transportation over the past decades.
Conventional thin...