搜索结果: 1-15 共查到“知识库 计算机科学技术 Model”相关记录169条 . 查询时间(0.682 秒)
Model-Based Motion Estimation for Synthetic Animations
Synthetic Animations Model-Based Motion
font style='font-size:12px;'>
2016/5/24
One approach to performing motion estimation on synthetic
animations is to treat them as video sequences
and use standard image-based motion estimation methods.
Alternatively, we can take advantage...
EXTENDING A PEDESTRIAN SIMULATION MODEL TO REAL-WORLD APPLICATIONS
3D data model spatial DBMS pedestrian simulation
font style='font-size:12px;'>
2016/2/29
Although recent advances in sensor technologies draw our attention to indoor spaces, no fully functional indoor 3D models are
available as of now. Researchers in 3D modeling field have focused on rep...
Sense, Model and Identify the Load Signatures of HVAC Systems in Metro Stations
Sense Model Identify Load Signatures HVAC Systems Metro Stations
font style='font-size:12px;'>
2016/1/22
The Heating Ventilation and Air Conditioning(HVAC) systems in subway stations are energy consuming giants,each of which may consume over 10, 000 Kilowatts per day for cooling and ventilation. To save ...
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization
A Dynamic Diffusion Model Constrained Influence Maximization
font style='font-size:12px;'>
2016/1/22
Studying the spread of phenomena in social networks is critical but still not fully solved. Existing influence max-imization models assume a static network, disregarding its evolution over time. We in...
Describing and Computing Model of the Topological Relation in Spherical Surface Quaternary Triangular Mesh
Spherical surface QTM Euler_number Topological relation
font style='font-size:12px;'>
2015/12/3
Spherical surface QTM (Quaternary Triangular Mesh) is one of an efficient tool to deal with the global data because of its advantages of multi-resolution and hierarchy. Based on characters of spherica...
The Project of the Italian Culture Portal. A Standard Based Model for Interoperability Amongst Cultural Heritage Data Sources
Classification Cultural Heritage ata structures Interface Interoperability
font style='font-size:12px;'>
2015/11/13
The paper describes the scientific and technical project carried out by SNS for the Italian Culture Portal, promoted by Italian Ministry of Cultural Heritage and Activities, as a media for knowledge a...
A probabilistic model for heading judgments from converging elements
optical flow motion parallax wayfinding
font style='font-size:12px;'>
2015/8/13
This paper describes the mathematical basis and application of a probabilistic model for recovering the direction of camera trans-lation (heading) from optical flow. According to the theorem that head...
A two-layer sparse coding model learns simple and complex cell receptive fields and topography from natural images
Independent component analysis Natural images Neural networks Spatial vision
font style='font-size:12px;'>
2015/8/10
The classical receptive fields of simple cells in the visual cortex have been shown to emerge from the statistical properties of natural images by forcing the cell responses to be maximally sparse, i....
Fast model predictive control using online optimization
Model predictive control application offline calculation network controller
font style='font-size:12px;'>
2015/8/7
A widely recognized shortcoming of model predictive control (MPC) is that it can usually only be used in applications with slow dynamics, where the sample time is measured in seconds or minutes. A wel...
Model Checking Large Network Protocol Implementations
Model Checking Large Network Protocol Implementations
font style='font-size:12px;'>
2015/8/7
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network pro...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
font style='font-size:12px;'>
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
font style='font-size:12px;'>
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
Efficient lattice (H)IBE in the standard model
standard model Efficient lattice
font style='font-size:12px;'>
2015/8/5
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in the construction is...
A modular network treatment of Baars' Global Workspace consciousness model
consciousness general cognitive model global workspace information theory phase transition random network
font style='font-size:12px;'>
2015/7/31
Adapting techniques from random and semirandom network theory, this work provides an alternative to the renormalization and phase transition methods used in Wallace's (2005a) treatment of Baars' Globa...
Predictive Coding as a Model of Biased Competition in Visual Attention
neural networks cortical circuits cortical feedback attention binding problem
font style='font-size:12px;'>
2015/7/29
Attention acts, through cortical feedback pathways, to enhance the response of cells encoding expected or predicted information. Such observations are inconsistent with the predictive coding theory of...