Sciweavers

482 search results - page 77 / 97
» Object oriented process modeling with fuzzy logic
Sort
View
PADS
2009
ACM
14 years 2 months ago
An Approach for Validation of Semantic Composability in Simulation Models
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
Claudia Szabo, Yong Meng Teo
CAIP
1993
Springer
157views Image Analysis» more  CAIP 1993»
13 years 11 months ago
Photometric Stereo for Non-Lambertian Surfaces Using Color Information
One robust method to reconstruct shape is photometric stereo (PMS), which reconstructs surface orientation using the Lambertian reflection properties of the surface material. To i...
Karsten Schlüns
CVPR
2012
IEEE
11 years 10 months ago
Boosting bottom-up and top-down visual features for saliency estimation
Despite significant recent progress, the best available visual saliency models still lag behind human performance in predicting eye fixations in free-viewing of natural scenes. ...
Ali Borji
ICFP
2010
ACM
13 years 8 months ago
VeriML: typed computation of logical terms inside a language with effects
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
Antonis Stampoulis, Zhong Shao
AAAI
1996
13 years 9 months ago
Noise and the Common Sense Informatic Situation for a Mobile Robot
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...
Murray Shanahan