Sciweavers

33 search results - page 5 / 7
» Determining efficient simulation run lengths for real time d...
Sort
View
FOIKS
2006
Springer
13 years 9 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ICRA
2000
IEEE
116views Robotics» more  ICRA 2000»
13 years 9 months ago
Interception of a Projectile Using a Human Vision-Based Strategy
Visual-servoing tasks for mobile robots characteristically require the processing of vast amounts of navigational information which can impede the performance of even the most wel...
Justin A. Borgstadt, Nicola J. Ferrier
ICDE
2010
IEEE
271views Database» more  ICDE 2010»
14 years 5 months ago
Preference Queries in Large Multi-Cost Transportation Networks
Research on spatial network databases has so far considered that there is a single cost value associated with each road segment of the network. In most real-world situations, howev...
Kyriakos Mouratidis, Yimin Lin, Man Lung Yiu
NPC
2005
Springer
13 years 10 months ago
A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs
One major factor that heavily affects the performance of a content distribution network (CDN) is placement of the surrogates. Previous works take a network-centric approach and con...
Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu
KDD
2007
ACM
151views Data Mining» more  KDD 2007»
14 years 5 months ago
Efficient mining of iterative patterns for software specification discovery
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
Chao Liu 0001, David Lo, Siau-Cheng Khoo