Sciweavers

1855 search results - page 226 / 371
» Composing model programs for analysis
Sort
View
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 6 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
APLAS
2005
ACM
15 years 8 months ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
IFIP
2003
Springer
15 years 8 months ago
Exact Probabilistic Analysis of the Limited Scheduling Algorithm for Symmetrical Bluetooth Piconets
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
Gil Zussman, Uri Yechiali, Adrian Segall
GLOBECOM
2010
IEEE
15 years 28 days ago
Optimal Pricing for Mobile Video Streaming Using Behavior Analysis
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
W. Sabrina Lin, K. J. Ray Liu
MICCAI
2005
Springer
16 years 3 months ago
A Prediction Framework for Cardiac Resynchronization Therapy Via 4D Cardiac Motion Analysis
Abstract. We propose a novel framework to predict pacing sites in the left ventricle (LV) of a heart and its result can be used to assist pacemaker implantation and programming in ...
Heng Huang, Li Shen, Rong Zhang, Fillia Makedon, B...