Sciweavers

1855 search results - page 116 / 371
» Composing model programs for analysis
Sort
View
153
Voted
ECAI
2010
Springer
15 years 4 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
GIS
2008
ACM
16 years 4 months ago
Efficient data modeling and querying system for multi-dimensional spatial data
Multi-dimensional spatial data are obtained when a number of data acquisition devices are deployed at different locations to measure a certain set of attributes of the study subje...
Wei Li, Cindy X. Chen
ACCV
2007
Springer
15 years 9 months ago
Coarse-to-Fine Statistical Shape Model by Bayesian Inference
In this paper, we take a predefined geometry shape as a constraint for accurate shape alignment. A shape model is divided in two parts: fixed shape and active shape. The fixed shap...
Ran He, Stan Z. Li, Zhen Lei, ShengCai Liao
GECCO
2010
Springer
155views Optimization» more  GECCO 2010»
15 years 8 months ago
Evolutionary optimization of flavors
We have acquired panelist data that provides hedonic (liking) ratings for a set of 40 flavors each composed of the same 7 ingredients at different concentration levels. Our goal...
Kalyan Veeramachaneni, Katya Vladislavleva, Matt B...
112
Voted
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
16 years 6 days ago
Long-term Performance Bottleneck Analysis and Prediction
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
Fei Gao, Suleyman Sair