Sciweavers

3321 search results - page 405 / 665
» The Future of Knowledge Representation
Sort
View
IROS
2009
IEEE
176views Robotics» more  IROS 2009»
16 years 1 months ago
Improving unmanned aerial vehicle pilot training and operation for flying in cluttered environments
— Future applications will bring unmanned aerial vehicles (UAVs) to new environments such as urban areas, causing a change in the way that UAVs are currently operated. However, U...
James T. Hing, Keith W. Sevcik, Paul Y. Oh
ICANN
2009
Springer
16 years 1 months ago
Basis Decomposition of Motion Trajectories Using Spatio-temporal NMF
Abstract. This paper’s intention is to present a new approach for decomposing motion trajectories. The proposed algorithm is based on nonnegative matrix factorization, which is a...
Sven Hellbach, Julian Eggert, Edgar Körner, H...
ISCA
2008
IEEE
205views Hardware» more  ISCA 2008»
16 years 1 months ago
VEAL: Virtualized Execution Accelerator for Loops
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
Nathan Clark, Amir Hormati, Scott A. Mahlke
AGILE
2008
Springer
120views GIS» more  AGILE 2008»
16 years 1 months ago
A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
Krzysztof Janowicz, Carsten Keßler, Ilija Pa...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 1 months ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...