搜索结果: 1-15 共查到“知识库 计算机科学技术 information”相关记录156条 . 查询时间(0.308 秒)
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation.Barthe, D’Argenio, and Rezk coined the term “self-composition...
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...
Interactively Verifying Absence of Explicit Information Flows in Android Apps
interactive verification abductive inference specifications from tests
2016/5/24
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play),desktop apps (Mac App Store and Ubuntu Software Center),computer games (the Steam Sto...
INFORMATION MANAGEMENT IN CIVIL ENGINEERING INFRASTRUCTURAL DEVELOPMENT: WITH FOCUS ON GEOLOGICAL AND GEOTECHNICAL INFORMATION
databases spatial infrastructures interoperability
2016/2/29
In civil engineering infrastructural projects, information exchange and (re-) use in and between involved parties is difficult. This is
mainly caused by a lack of information harmonization. Various s...
CONCEPTUAL REQUIREMENTS FOR THE AUTOMATIC RECONSTRUCTION OF BUILDING INFORMATION MODELS FROM UNINTERPRETED 3D MODELS
3D city models 3D graphics models, semantic modeling
2016/2/29
A multitude of new applications is quickly emerging in the field of Building Information Models (BIM). BIM models describe
buildings with respect to their spatial and especially semantic and thematic...
PIKM 2014: The 7th ACM Workshop for Ph.D. Students in Information and Knowledge Management
CIKM PIKM doctoral consortium Ph.D. forum disser- tations database systems
2016/1/22
PIKM workshop offers to Ph.D. students the possibility to bring their work to an international and interdisciplinary re-search community, and create a network of young researchers to exchange and deve...
Local Information in Influence Networks
InfluenceNetworks Multi-hopInformation HierarchyofAlgorithms Distributed Algorithms
2016/1/22
We study how multi-hop information impacts convergence in social influence networks. In influence networks, nodes have a choice between two op-tions A and B, and each node prefers to end up choosing t...
Semantic Information Extraction for Improved Word Embeddings
Semantic Information Extraction Improved Word Embeddings
2016/1/22
Word embeddings have recently proven useful in a number of different applications that deal with natural language. Such embeddings suc-cinctly reflect semantic similarities between words based on thei...
Lexvo.org: Language-Related Information for the Linguistic Linked Data Cloud
languages lexical information
2016/1/22
Lexvo.org brings information about languages, words, and other linguistic entities to the Web of Linked Data. It defines URIs for terms, languages, scripts, and characters, which are not only highly i...
Evaluation of Different Methods for Using Colour Information in Global Stereo Matching Approaches
Stereoscopic Matching Stereoscopic Reconstruction Colour Analysis Experimental Analysis
2015/12/4
Global algorithms currently represent the state-of-the-art in dense stereo matching. These methods first set up an energy function.The energy function is then subject to optimization, which is t...
Identification of Multiword Expressions by Combining Multiple Linguistic Information Sources
language Natural language
2015/9/14
We propose a framework for using multiple sources of linguistic information in the task of
identifying multiword expressions in natural language texts. We define various linguistically
motivat...
Incorporation of a-priori information in planning the next best view
Optical Three-dimensional Measurement Close Range Acquisition Planning Automation
2015/8/25
The widespread use of optical 3D measurement in inspection and prototyping continues to demand improved strategies for planning the next best view (NBV). During the scanning process, better viewpoints...
Wayfinding from multiple sources of information in retinal flow
Wayfinding multiple sources information retinal flow
2015/8/13
Although they concluded differently, N.G. Kim, R. Growney, and M.T. Turvey (1996)provided data that supports previous empirical (J. E. Cutting, K. Springer, P. A. Braren, & S. H. Johnson, 1992) and me...
Information from the world around us.
Perceiving layout and knowing distances:The interaction,relative potency,and contextual use of different information about depth. In W. Epstein & S
Perceiving layout knowing distances interaction relative potency contextua different information
2015/8/13
Perceiving layout and knowing distances:The interaction,relative potency,and contextual use of different information about depth. In W. Epstein & S.