Sciweavers

1972 search results - page 196 / 395
» Evolutionary algorithms and dynamic programming
Sort
View
137
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen
147
Voted
ICDE
2012
IEEE
205views Database» more  ICDE 2012»
13 years 5 months ago
Optimizing Statistical Information Extraction Programs over Evolving Text
—Statistical information extraction (IE) programs are increasingly used to build real-world IE systems such as Alibaba, CiteSeer, Kylin, and YAGO. Current statistical IE approach...
Fei Chen, Xixuan Feng, Christopher Re, Min Wang
169
Voted
AAAI
2008
15 years 3 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
148
Voted
CORR
2004
Springer
208views Education» more  CORR 2004»
15 years 2 months ago
Business Intelligence from Web Usage Mining
The rapid e-commerce growth has made both business community and customers face a new situation. Due to intense competition on the one hand and the customer's option to choose...
Ajith Abraham
163
Voted
CVPR
2008
IEEE
16 years 4 months ago
Sequential particle swarm optimization for visual tracking
Visual tracking usually involves an optimization process for estimating the motion of an object from measured images in a video sequence. In this paper, a new evolutionary approac...
Xiaoqin Zhang, Weiming Hu, Stephen J. Maybank, Xi ...