Sciweavers

858 search results - page 137 / 172
» An Efficient Spatial Search Method Based on SG-Tree
Sort
View
IDEAL
2003
Springer
14 years 2 months ago
Towards a Terabyte Digital Library System
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
Hao Ding, Yun Lin, Bin Liu
CEC
2007
IEEE
14 years 1 months ago
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers
The combination of low-thrust propulsion and gravity assists allows designing high-energy missions. However the optimization of such trajectories is no trivial task. In this paper,...
I. Carnelli, B. Dachwald, M. Vasile
AIPS
2008
13 years 11 months ago
Fast Planning for Dynamic Preferences
We present an algorithm that quickly finds optimal plans for unforeseen agent preferences within graph-based planning domains where actions have deterministic outcomes and action ...
Brian Ziebart, Anind K. Dey, J. Andrew Bagnell
LREC
2008
112views Education» more  LREC 2008»
13 years 10 months ago
Automatic Acquisition of Usage Information for Language Resources
Recently, language resources (LRs) are becoming indispensable for linguistic research. Unfortunately, it is not easy to find their usages by searching the web even though they mus...
Shunsuke Kozawa, Hitomi Tohyama, Kiyotaka Uchimoto...
AICOM
2010
92views more  AICOM 2010»
13 years 9 months ago
SOLAR: An automated deduction system for consequence finding
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...