E-LIB Suche - Ergebnisse für: Damas, Luís

1

Time-evolving O-D matrix estimation using high-speed GPS da..:

Moreira-Matias, Luís ; Gama, João ; Ferreira, Michel..
Expert Systems with Applications. 44 (2016) - p. 275-288 , 2016

Link: https://doi.org/10.1016/..

2

An online learning framework for predicting the taxi stand'..:

, In: 17th International IEEE Conference on Intelligent Transportation Systems (ITSC),

Moreira-Matias, Luis ; Mendes-Moreira, Joao M. ; Ferreira, Michel.. - p. 2009-2014 , 2014

Link: https://doi.org/10.1109/..

3

Predicting Taxi–Passenger Demand Using Streaming Data:

Moreira-Matias, Luis ; Gama, Joao ; Ferreira, Michel..
IEEE Transactions on Intelligent Transportation Systems. 14 (2013) 3 - p. 1393-1402 , 2013

Link: https://doi.org/10.1109/..

4

The YAP Prolog system:

COSTA, VÍTOR SANTOS ; ROCHA, RICARDO ; DAMAS, LUÍS
Theory and Practice of Logic Programming. 12 (2011) 1-2 - p. 5-34 , 2011

Link: https://doi.org/10.1017/..

5

Large-scale simulation of V2V environments:

, In: Proceedings of the 2008 ACM symposium on Applied computing,

Conceição, Hugo ; Damas, Luís ; Ferreira, Michel. - p. 28-33 , 2008

Link: https://dl.acm.org/doi/1..

6

On Long Normal Inhabitants of a Type:

Broda, Sabine ; Damas, Luís
Journal of Logic and Computation. 15 (2005) 3 - p. 353-390 , 2005

Link: https://doi.org/10.1093/..

7

The decidability of a fragment of BB′IW-logic:

Broda, Sabine ; Damas, Luı́s ; Finger, Marcelo.
Theoretical Computer Science. 318 (2004) 3 - p. 373-408 , 2004

Link: https://doi.org/10.1016/..

8

Linearization of the lambda-calculus and its relation with ..:

FLORIDO, MÁRIO ; DAMAS, LUÍS
Journal of Functional Programming. 14 (2004) 5 - p. 519-546 , 2004

Link: https://doi.org/10.1017/..

9

Studying provability in implicational intuitionistic logic:

Broda, Sabine ; Damas, Luís
Electronic Notes in Theoretical Computer Science. 67 (2002) - p. 131-147 , 2002

Link: https://doi.org/10.1016/..

10

On principal types of combinators:

Broda, Sabine ; Damas, Luı́s
Theoretical Computer Science. 247 (2000) 1-2 - p. 277-290 , 2000

Link: https://doi.org/10.1016/..

11

On combinatory complete sets of proper combinators:

BRODA, SABINE ; DAMAS, LUÍS
Journal of Functional Programming. 7 (1997) 6 - p. 593-612 , 1997

Link: https://doi.org/10.1017/..

12

Compact Bracket Abstraction in Combinatory Logic:

Broda, Sabine ; Damas, Luís
The Journal of Symbolic Logic. 62 (1997) 3 - p. 729-740 , 1997

Link: https://www.jstor.org/st..

13

Natural Language Processing

EAIA '90, 2nd Advanced School in Artificial Intelligence Gu... Lecture Notes in Computer Science ; 476;SpringerLink, Bücher

Filgueiras, Miguel ; Damas, Luis ; Moreira, Nelma. , 1991

Link: https://doi.org/10.1007/..

14

Principal type-schemes for functional programs:

, In: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Damas, Luis ; Milner, Robin - p. 207-212 , 1982

Link: https://dl.acm.org/doi/1..

15

Progress in Artificial Intelligence

6th Portuguese Conference on AI, EPIA '93, Porto, Portugal,... Lecture Notes in Computer Science ; 727;SpringerLink, Bücher

Filgueiras, Michel ; Damas, Luis M.M. , 1993

Link: https://doi.org/10.1007/..