Sciweavers

4810 search results - page 312 / 962
» Modeling Value Speculation
Sort
View
3DIM
2005
IEEE
16 years 9 days ago
3D Modeling of Outdoor Environments by Integrating Omnidirectional Range and Color Images
This paper describes a 3D modeling method for wide area outdoor environments which is based on integrating omnidirectional range and color images. In the proposed method, outdoor ...
Toshihiro Asai, Masayuki Kanbara, Naokazu Yokoya
EPIA
2005
Springer
16 years 6 days ago
Revised Stable Models - A Semantics for Logic Programs
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
Luís Moniz Pereira, Alexandre Miguel Pinto
IWINAC
2005
Springer
16 years 5 days ago
Model Performance for Visual Attention in Real 3D Color Scenes
Abstract. Visual attention is the ability of a vision system, be it biological or artificial, to rapidly detect potentially relevant parts of a visual scene. The saliency-based mo...
Heinz Hügli, Timothée Jost, Nabil Ouer...
NOSSDAV
2005
Springer
16 years 5 days ago
A traffic model for the Xbox game Halo 2
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
Sebastian Zander, Grenville J. Armitage
ICFEM
2004
Springer
16 years 1 days ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha