|
|
|
|
|
Suhee Jo, Ryeonggu Kwon and Gihwon Kwon
GitHub serves as a platform for collaborative software development, where contributors engage, evolve projects, and shape the community. This study presents a novel approach to analyzing GitHub activity that departs from traditional methods. Using Discre...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jorge Fandinno, David Pearce, Concepción Vidal and Stefan Woltran
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mario A. Leiva, Alejandro J. García, Paulo Shakarian and Gerardo I. Simari
Decision support tools are key components of intelligent sociotechnical systems, and their successful implementation faces a variety of challenges, including the multiplicity of information sources, heterogeneous format, and constant changes. Handling su...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sinan Keskin and Adnan Yazici
Nowadays, with the rise of sensor technology, the amount of spatial and temporal data is increasing day by day. Modeling data in a structured way and performing effective and efficient complex queries has become more essential than ever. Online analytica...
ver más
|
|
|
|
|
|
|
|
|
|
|
Atousa Jafari, Christopher Münch and Mehdi Tahoori
Computing data-intensive applications on the von Neumann architecture lead to significant performance and energy overheads. The concept of computation in memory (CiM) addresses the bottleneck of von Neumann machines by reducing the data movement in the c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Erik Bollen, Rik Hendrix, Bart Kuijpers and Alejandro Vaisman
In this paper, we propose a formalism to query transportation networks that are equipped with sensors that produce time-series data. The core of the proposed query mechanism is a logic-based language that is capable to return time, value, and time-series...
ver más
|
|
|
|
|
|
|
|
|
|
|
Shu Wang, Xueying Zhang, Peng Ye, Mi Du, Yanxu Lu and Haonan Xue
Formalized knowledge representation is the foundation of Big Data computing, mining and visualization. Current knowledge representations regard information as items linked to relevant objects or concepts by tree or graph structures. However, geographic k...
ver más
|
|
|
|
|
|
|
|
|
|
|
Luminita Pistol,Radu BUCEA-MANEA-TONIS
Pág. 58 - 62
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filt...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yuh-Jong Hu, Win-Nan Wu, Kua-Ping Cheng and Ya-Ling Huang
In semantic policy infrastructure, a Trusted Legal Domain (TLD), designated as a Super-Peer Domain (SPD), is a legal cage model used to circumscribe the legal virtual boundary of data disclosure and usage in the cloud. Semantic legal policies in complian...
ver más
|
|
|
|
|
|
|
|
|
|
|
Grant, J; Gryz, J; Minker, J; Raschid, L
Pág. 529 - 547
|
|
|
|
|
|