Sciweavers

4287 search results - page 272 / 858
» Minimal Mental Models
Sort
View
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
Seamless Montage for Texturing Models
We present an automatic method to recover high-resolution texture over an object by mapping detailed photographs onto its surface. Such high-resolution detail often reveals inaccu...
Ran Gal, Yonatan Wexler, Eyal Ofek, Hugues Hoppe, ...
200
Voted
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
16 years 1 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
MDAI
2009
Springer
16 years 1 months ago
A Consensus Reaching Model for Web 2.0 Communities
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...
Sergio Alonso, Ignacio J. Pérez, Francisco ...
BMEI
2008
IEEE
16 years 1 months ago
Adaptive Gene Expression Programming Algorithm Based on Cloud Model
Standard Gene Expression Programming(GEP) works with fixed rate of mutation and crossover, ignoring the variation of the individual fitness, hence it works in the local optimum st...
Yue Jiang, Chang-jie Tang, Haichun Zheng, Chuan Li...
206
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Efficient calculation of adaptive interpolation filter with distortion modelling
A novel method is proposed to calculate the coefficients of adaptive interpolation filter used in hybrid video coders for improving the coding efficiency. The proposed algorithm f...
Kemal Ugur, Dmytro Rusanovskyy, Moncef Gabbouj