Ana Paula Tomás

发表

Solving Optimal Location of Traffic Count Posts in CLP(FD)

Ana Paula Tomás, 2002, APPIA-GULP-PRODE.

Guarding Thin Orthogonal Polygons Is Hard

Ana Paula Tomás, 2013, FCT.

Nelma Moreira, Ana Paula Tomás, Miguel Filgueiras, 1990, EAIA.

Natural Language Processing: EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8-12, 1990. Proceedings

Nelma Moreira, Ana Paula Tomás, Miguel Filgueiras, 1991 .

Using Constraint Logic Programming to Generate Drills in Mathematics

José Paulo Leal, Ana Paula Tomás, Pedro Vasconcelos, 2002, APPIA-GULP-PRODE.

Solving Linear Constraints on Finite Domains Through Parsing

Ana Paula Tomás, Miguel Filgueiras, 1991, EPIA.

Some Comments on a Logic Programming Approach to Natural Language Semantics

Ana Paula Tomás, Miguel Filgueiras, 1989, EPIA.

Natural Language and Natural Menus Interfaces

José Paulo Leal, Nelma Moreira, Rogério Reis, 1990, Modelling the Innovation.

Designing a Solver for Arithmetic Constraints to Support Education in Mathematics

Nuno Pereira, Nelma Moreira, Ana Paula Tomás, 2006, AIAI.

A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation

Ana Paula Tomás, Miguel Filgueiras, 1995, J. Symb. Comput..

From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals

Eric Domenjoud, Ana Paula Tomás, Eric Domenjoud, 1995, CP.

Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices

António Leslie Bajuelos, Ana Paula Tomás, A. Bajuelos, 2004, ICCSA.

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises

José Paulo Leal, Ana Paula Tomás, 2003, PADL.

On the Enumeration of Permutominoes

Ana Paula Tomás, 2015, FCT.

Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space

Ana Paula Tomás, Miguel Filgueiras, Miguel Filgueiras, 1997, RTA.

Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)

Ana Paula Tomás, 2002, MICAI.

Generating Random Orthogonal Polygons

António Leslie Bajuelos, Ana Paula Tomás, A. Bajuelos, 2003, CAEPIA.

Automatic Generation and Delivery of Multiple-Choice Math Quizzes

José Paulo Leal, Ana Paula Tomás, J. P. Leal, 2013, CP.

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces

Fábio Marques, António Leslie Bajuelos, Ana Paula Tomás, 2004, ICCSA.

Mechanically Proving Termination Using Polynomial Interpretations

Claude Marché, Evelyne Contejean, Xavier Urbain, 2005, Journal of Automated Reasoning.

On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations

Fábio Marques, António Leslie Bajuelos, Ana Paula Tomás, 2006, AI&M.

A Web Application for Mathematics Education

José Paulo Leal, Marcos Aurélio Domingues, Ana Paula Tomás, 2007, ICWL.

An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals

Ana Paula Tomás, Miguel Filgueiras, Miguel Filgueiras, 1997, EPIA.

A New Method for Solving Linear Constraints on the Natural Numbers

Ana Paula Tomás, Miguel Filgueiras, 1991, EPIA.

Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains

Fábio Marques, António Leslie Bajuelos, Ana Paula Tomás, 2003, International Conference on Computational Science.

Fast Methods for Solving Linear Diophantine Equations

Ana Paula Tomás, Miguel Filgueiras, 1993, EPIA.

House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment

Ana Paula Tomás, 2018, SOFSEM.