Sciweavers

6102 search results - page 440 / 1221
» Generating Optimizing Specializers
Sort
View
ANSOFT
2002
162views more  ANSOFT 2002»
15 years 4 months ago
Foundations of Fast Communication via XML
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
Welf Löwe, Markus L. Noga, Thilo S. Gaul
TODAES
2008
115views more  TODAES 2008»
15 years 3 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
CVPR
2009
IEEE
15 years 2 months ago
Multi-object tracking through occlusions by local tracklets filtering and global tracklets association with detection responses
This paper presents an online detection-based two-stage multi-object tracking method in dense visual surveillances scenarios with a single camera. In the local stage, a particle f...
Junliang Xing, Haizhou Ai, Shihong Lao
CVPR
2010
IEEE
15 years 7 months ago
Bundled Depth-Map Merging for Multi-View Stereo
Depth-map merging is one typical technique category for multi-view stereo (MVS) reconstruction. To guarantee accuracy, existing algorithms usually require either sub-pixel level s...
Jianguo Li
ATAL
2008
Springer
15 years 6 months ago
An agent-based electrical power market
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...
Jaime Cerda Jacobo, David De Roure, Enrico H. Gerd...