Works matching DE "DECLARATIVE programming languages"

Results: 63

Applying Database Optimization Technologies to Feature Recognition in CAD.

Published in:

Computer-Aided Design & Applications, 2015, v. 12, n. 3, p. 373, doi. 10.1080/16864360.2014.981468

By:

Niu, Zhibin;
Martin, Ralph R.;
Sabin, Malcolm;
Langbein, Frank C.;
Bucklow, Henry

Publication type:

Article

A datalog-based computational model for coordination-free, data-parallel systems.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 874, doi. 10.1017/S147106841800042X

By:

INTERLANDI, MATTEO;
TANCA, LETIZIA

Publication type:

Article

Past and present (and future) of parallel and distributed computation in (constraint) logic programming.

Published in:

2018

By:

FIORETTO, FERDINANDO;
PONTELLI, ENRICO

Publication type:

Editorial

GENERATORI PROGRAMSKOG KODA: RAZVOJ I PRAKTIČNA PRIMENA UPOTREBOM .NET PLATFORME.

Published in:

InfoM, 2014, n. 50, p. 44

By:

Lazarević, Saša D.;
Mitić, Stefan Z.

Publication type:

Article

Öğretim Yænetim Sistemleri ıçin Örnek Veri Tabanı Tasarımı.

Published in:

International Journal of InformaticsTechnologies, 2009, v. 2, n. 1, p. 15

By:

DEPERLİOĞLU, Ömer;
SARPKAYA, Yılmaz

Publication type:

Article

Kata Soal Dalam Dialek Kedah.

Published in:

GEMA Online Journal of Language Studies, 2012, v. 12, n. 2, p. 475

By:

Sultan, Fazal Mohamed Mohamed;
Suhaimi, Nurulafiqah

Publication type:

Article

The Nitrogen Erlang Web Framework.

Published in:

IEEE Internet Computing, 2012, v. 16, n. 6, p. 87, doi. 10.1109/MIC.2012.139

By:

Vinoski, Steve

Publication type:

Article

Towards an Architecture to Bind the Java and OWL Languages.

Published in:

Journal of Research & Practice in Information Technology, 2012, v. 44, n. 1, p. 17

By:

Alcaraz Calero, Jose M.;
Bernal Bernabé, Jorge;
Marín Pérez, Juan M.;
Sevilla Ruíz, Diego;
García Clemente, Felix J.;
Martínez Pérez, Gregorio

Publication type:

Article

On nested simple recursion.

Published in:

Archive for Mathematical Logic, 2011, v. 50, n. 5/6, p. 617, doi. 10.1007/s00153-011-0236-9

By:

Komara, Ján

Publication type:

Article

Review on conversion of natural language queries into SQL queries.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 1036

By:

Manisha;
Malhotra, Sona

Publication type:

Article

The Answer Set Programming Competition.

Published in:

AI Magazine, 2012, v. 33, n. 4, p. 114, doi. 10.1609/aimag.v33i4.2448

By:

Calimeri, Francesco;
Ianni, Giovambattista;
Krennwallner, Thomas;
Ricca, Francesco

Publication type:

Article

Big data, big decisions.

Published in:

EE: Evaluation Engineering, 2015, v. 54, n. 4, p. 4

By:

Nelson, Rick

Publication type:

Article

Relational Databases with Ordered Relations.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 587, doi. 10.1093/jigpal/jzi043

By:

Nedbal, Radim

Publication type:

Article

Efficient provenance tracking for datalog using top-<italic>k</italic> queries.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2018, v. 27, n. 2, p. 245, doi. 10.1007/s00778-018-0496-7

By:

Deutch, Daniel;
Gilad, Amir;
Moskovitch, Yuval

Publication type:

Article

Sampling-based estimators for subset-based queries.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2009, v. 18, n. 1, p. 181, doi. 10.1007/s00778-008-0095-0

By:

Shantanu Joshi;
Christopher Jermaine

Publication type:

Article

A Systematic Review of SQL-on-Hadoop by Using Compact Data Formats.

Published in:

Baltic Journal of Modern Computing, 2017, v. 5, n. 2, p. 233, doi. 10.22364/bjmc.2017.5.2.06

By:

PLASE, Daiga

Publication type:

Article

A Combined Approach based on automatic detection of Sensitive Attribute and Fragmentation to ensure Big Data security in Mongo data Store.

Published in:

Journal of Information Assurance & Security, 2018, v. 13, n. 1, p. 1

By:

Heni, Houyem;
Gargouri, Faiez

Publication type:

Article

Lifted Reasoning for Combinatorial Counting.

Published in:

Journal of Artificial Intelligence Research, 2023, v. 76, p. 1, doi. 10.1613/jair.1.14062

By:

Totis, Pietro;
Davis, Jesse;
De Raedt, Luc;
Kimmig, Angelika

Publication type:

Article

The erlangization method for Markovian fluid flows.

Published in:

Annals of Operations Research, 2008, v. 160, n. 1, p. 215, doi. 10.1007/s10479-008-0309-2

By:

Ramaswami, V.;
Woolford, Douglas G.;
Stanford, David A.

Publication type:

Article

Extending a Natural Language Interface with Geospatial Queries.

Published in:

IEEE Internet Computing, 2007, v. 11, n. 6, p. 82, doi. 10.1109/MIC.2007.124

By:

Chintaphally, Vinitha Reddy;
Neumeier, Kyle;
McFarlane, Joshua;
Cothren, Jackson;
Thompson, Craig W.

Publication type:

Article

Reliability with Erlang.

Published in:

IEEE Internet Computing, 2007, v. 11, n. 6, p. 79, doi. 10.1109/MIC.2007.132

By:

Vinoski, Steve

Publication type:

Article

DAME: Runtime-compilation for data movement.

Published in:

International Journal of High Performance Computing Applications, 2018, v. 32, n. 5, p. 760, doi. 10.1177/1094342017695444

By:

Prabhu, Tarun;
Gropp, William

Publication type:

Article

Extending multimedia languages to support multimodal user interactions.

Published in:

Multimedia Tools & Applications, 2017, v. 76, n. 4, p. 5691, doi. 10.1007/s11042-016-3846-8

By:

Guedes, Álan;
Azevedo, Roberto;
Barbosa, Simone

Publication type:

Article

Variable and state handling in NCL.

Published in:

Multimedia Tools & Applications, 2010, v. 50, n. 3, p. 465, doi. 10.1007/s11042-010-0478-2

By:

Soares, Luiz;
Rodrigues, Rogério;
Cerqueira, Renato;
Barbosa, Simone

Publication type:

Article

El uso de Prolog en el aula: de lógica a inteligencia artificial.

Published in:

Revista Vínculos, 2013, v. 10, n. 2, p. 289

By:

Gil Suárez, Sonia Milena;
Martínez Buitrago, Diana Isabel

Publication type:

Article

Static analysis of function calls in Erlang.

Published in:

e-Informatica, 2013, v. 7, n. 1, p. 65, doi. 10.5277/e-Inf130107

By:

Horpácsi, Dániel;
Kőszegi, Judit

Publication type:

Article

HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES.

Published in:

Computing & Informatics, 2010, v. 29, n. 2, p. 251

By:

Grigorenko, Pavel;
Tyugu, Enn

Publication type:

Article

A cross-analysis framework for multi-source volunteered, crowdsourced, and authoritative geographic information: The case study of volunteered personal traces analysis against transport network data.

Published in:

Geo-Spatial Information Science, 2018, v. 21, n. 3, p. 257, doi. 10.1080/10095020.2017.1374703

By:

Bordogna, Gloria;
Capelli, Steven;
Ciriello, Daniele E.;
Psaila, Giuseppe

Publication type:

Article

The Layer-Oriented Approach to Declarative Languages for Biological Modeling.

Published in:

PLoS Computational Biology, 2012, v. 8, n. 5, p. 1, doi. 10.1371/journal.pcbi.1002521

By:

Raikov, Ivan;
De Schutter, Erik

Publication type:

Article

The SQL Function XMLNEST to Generate Recursive XML Values from Relational Data.

Published in:

Journal of Information Science & Engineering, 2011, v. 27, n. 4, p. 1283

By:

SUNG-CHUL PARK;
YOUNG-CHUL PARK

Publication type:

Article

POLAR INTERROGATIVES IN URALIC LANGUAGES A TYPOLOGICAL PERSPECTIVE.

Published in:

Linguistica Uralica, 2011, v. 47, n. 1, p. 1, doi. 10.3176/lu.2011.1.01

By:

MIESTAMO, MATTI

Publication type:

Article

Investigating expressiveness and understandability of hierarchy in declarative business process models.

Published in:

Software & Systems Modeling, 2015, v. 14, n. 3, p. 1081, doi. 10.1007/s10270-013-0356-2

By:

Zugal, Stefan;
Soffer, Pnina;
Haisjackl, Cornelia;
Pinggera, Jakob;
Reichert, Manfred;
Weber, Barbara

Publication type:

Article

Data Mining: From Procedural to Declarative Approaches.

Published in:

New Generation Computing, 2015, v. 33, n. 2, p. 115, doi. 10.1007/s00354-015-0202-x

By:

Blockeel, Hendrik

Publication type:

Article

pHood: Tool Description, Analysis Techniques, and Case Studies.

Published in:

New Generation Computing, 2014, v. 32, n. 1, p. 59, doi. 10.1007/s00354-014-0103-4

By:

Encina, Alberto;
Rodríguez, Ismael;
Rubio, Fernando

Publication type:

Article

Efficient approaches for multi-agent planning.

Published in:

Knowledge & Information Systems, 2019, v. 58, n. 2, p. 425, doi. 10.1007/s10115-018-1202-1

By:

Borrajo, Daniel;
Fernández, Susana

Publication type:

Article

Time prediction on multi-perspective declarative business processes.

Published in:

Knowledge & Information Systems, 2018, v. 57, n. 3, p. 655, doi. 10.1007/s10115-018-1180-3

By:

Jimenez-Ramirez, Andres;
Barba, Irene;
Fernandez-Olivares, Juan;
Del Valle, Carmelo;
Weber, Barbara

Publication type:

Article

Exploiting maximal redundancy to optimize SQL queries.

Published in:

Knowledge & Information Systems, 2009, v. 20, n. 2, p. 187, doi. 10.1007/s10115-008-0156-0

By:

Cao, Bin;
Badia, Antonio

Publication type:

Article

PERFORMANCE EVALUATION AND TUNING IN AN ORACLE DBMS.

Published in:

Annals of DAAAM & Proceedings, 2010, p. 157

By:

Boicea, A.;
Crivat, A.;
Radulescu, F.;
Popa, G.

Publication type:

Article

A FORMAL MODEL FOR IMPLEMENTATION OF OR PARALLELISM.

Published in:

Economic Computation & Economic Cybernetics Studies & Research, 2009, v. 43, n. 2, p. 1

By:

Mocean, Loredana;
Ciaca, Monica;
Khelalfa, Halim

Publication type:

Article

Applications and extensions of Alloy: past, present and future.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 915, doi. 10.1017/S0960129512000291

By:

TORLAK, EMINA;
TAGHDIRI, MANA;
DENNIS, GREG;
NEAR, JOSEPH P.

Publication type:

Article

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 800, doi. 10.1017/S1471068417000424

By:

GAVANELLI, MARCO;
NONATO, MADDALENA;
PEANO, ANDREA;
BERTOZZI, DAVIDE

Publication type:

Article

Representing hybrid automata by action language modulo theories.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 924, doi. 10.1017/S1471068417000412

By:

JOOHYUNG LEE;
LONEY, NIKHIL;
YUNSONG MENG

Publication type:

Article

Achievements in answer set programming.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 961, doi. 10.1017/S1471068417000345

By:

LIFSCHITZ, VLADIMIR

Publication type:

Article

Ticker: A system for incremental ASP-based stream reasoning.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 744, doi. 10.1017/S1471068417000370

By:

BECK, HARALD;
EITER, THOMAS;
FOLIE, CHRISTIAN

Publication type:

Article

Program completion in the input language of GRINGO.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 855, doi. 10.1017/S1471068417000394

By:

HARRISON, AMELIA;
LIFSCHITZ, VLADIMIR;
RAJU, DHANANJAY

Publication type:

Article

When you must forget: Beyond strong persistence when forgetting in answer set programming.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 837, doi. 10.1017/S1471068417000382

By:

GONÇ ALVES, RICARDO;
KNORR, MATTHIAS;
LEITE, JOÃO;
WOLTRAN, STEFAN

Publication type:

Article

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 780, doi. 10.1017/S1471068417000254

By:

CUTERI, BERNARDO;
DODARO, CARMINE;
RICCA, FRANCESCO;
SCHÜLLER, PETER

Publication type:

Article

The third open answer set programming competition.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 117, doi. 10.1017/S1471068412000105

By:

CALIMERI, FRANCESCO;
IANNI, GIOVAMBATTISTA;
RICCA, FRANCESCO

Publication type:

Article

Active integrity constraints and revision programming.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 905, doi. 10.1017/S1471068410000475

By:

CAROPRESE, LUCIANO;
TRUSZCZYŃSKI, MIROSŁAW

Publication type:

Article

Concurrent goal-based execution of Constraint Handling Rules.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 841, doi. 10.1017/S147106841000044X

By:

LAM, EDMUND S. L.;
SULZMANN, MARTIN

Publication type:

Article