Sciweavers

989 search results - page 173 / 198
» Dynamic Time Step Control Algorithm Enhancements
Sort
View
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
14 years 11 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
GECCO
2006
Springer
201views Optimization» more  GECCO 2006»
15 years 5 months ago
Selective self-adaptive approach to ant system for solving unit commitment problem
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
Songsak Chusanapiputt, Dulyatat Nualhong, Sujate J...
KDD
2005
ACM
192views Data Mining» more  KDD 2005»
16 years 2 months ago
Modeling and predicting personal information dissemination behavior
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
Xiaodan Song, Ching-Yung Lin, Belle L. Tseng, Ming...
ATAL
2005
Springer
15 years 7 months ago
Exploiting belief bounds: practical POMDPs for personal assistant agents
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
Pradeep Varakantham, Rajiv T. Maheswaran, Milind T...
106
Voted
ICIP
2001
IEEE
16 years 3 months ago
Adaptive video background modeling using color and depth
Copyright 2001 IEEE. Published in the 2001 International Conference on Image Processing (ICIP-2001), October 7-10, 2001, Thessaloniki, Greece. Personal use of this material is per...
Gaile G. Gordon, John Woodfill, Michael Harville