|
|
|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guoray Cai and Yimu Pan
Room usage semantics in models of large indoor environments such as public buildings and business complex are critical in many practical applications, such as health and safety regulations, compliance, and emergency response. Existing models such as Indo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Eduardo Cibrián, Jose María Álvarez-Rodríguez, Roy Mendieta and Juan Llorens
The use of different techniques and tools is a common practice to cover all stages in the development life-cycle of systems generating a significant number of work products. These artefacts are frequently encoded using diverse formats, and often require ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dapeng Lang, Deyun Chen, Jinjie Huang and Sizhao Li
Small perturbations can make deep models fail. Since deep models are widely used in face recognition systems (FRS) such as surveillance and access control, adversarial examples may introduce more subtle threats to face recognition systems. In this paper,...
ver más
|
|
|
|
|
|
|
|
|
|
|
Qingxiang Chen, Jing Chen and Wumeng Huang
Building information modeling (BIM), with detailed geometry and semantics of the indoor environment, has become an essential part of smart city development and city information modeling (CIM). However, visualizing large-scale BIM models within geographic...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lijun Chen, Haiping Zhang, Haoran Wang and Peng Wu
The effect of the plum rain weather event on cycling trips reflects the climate resilience of the public bicycle system. However, quantitative studies regarding the impact of plum rain on public bicycle users and corresponding spatial heterogeneity have ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dimitra Zacharopoulou, Andriani Skopeliti and Byron Nakos
Volunteered Geographic Information (VGI) is a widely used data source in various fields and services, such as environmental monitoring, disaster and crisis management, SDI, and mapping. Quality is a critical factor for the usability of VGI. This study fo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andrei Chi?
Pág. 1 - 18
This article reports on the Design Science engineering cycle for implementing a modeling method to support model-driven, process-centric API management. The BPMN standard was hereby enriched on semantic, syntactic and tool levels in order to provide a vi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bo Lu, Ruohan Cao, Luyao Tian, Hao Wang and Yueming Lu
The integrated air-ground multi-domain network provides users with a set of shared infrastructures. Security policies can be defined flexibly in the context of multi-domain network semantics. The packet filter module in the security gateway can run effic...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xiangdian Zhu, Ye Wu, Luo Chen and Ning Jing
The tremendous advance in information technology has promoted the rapid development of location-based services (LBSs), which play an indispensable role in people?s daily lives. Compared with a traditional LBS based on Point-Of-Interest (POI), which is an...
ver más
|
|
|
|
|
|