Pascal and Francis Bibliographic Databases


Search results

Your search



A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 4102

  • Page / 165

Selection :

  • and

SARA 2005 : abstraction, reformulation and approximation (Airth Castle, 26-29 July 2005)Zucker, Jean-Daniel; Saitta, Lorenza.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-27872-9, XII, 376 p, isbn 3-540-27872-9Conference Proceedings

Abstraction, Federation, and ScalabilityCERF, Vinton G.IEEE internet computing. 2013, Vol 17, Num 1, pp 96-97, issn 1089-7801, 2 p.Article

A specialised binary constraint for the stable marriage problemUNSWORTH, Chris; PROSSER, Patrick.Lecture notes in computer science. 2005, pp 218-233, issn 0302-9743, isbn 3-540-27872-9, 16 p.Conference Paper

Program Transformation Using HATS 1.84WINTER, Victor; BERANEK, Jason.Lecture notes in computer science. 2006, pp 378-396, issn 0302-9743, isbn 3-540-45778-X, 1Vol, 19 p.Conference Paper

Reliable Distributed StorageCHOCKLER, Gregory; GUERRAOUI, Rachid; KEIDAR, Idit et al.Computer (Long Beach, CA). 2009, Vol 42, Num 4, pp 60-67, issn 0018-9162, 8 p.Article

Construction of abstract state graphs with PVSGRAF, S; SAIDI, H.Lecture notes in computer science. 1997, pp 72-83, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Approximately satisfied properties of systems and simple language homomorphismsNITSCHE, U; OCHSENSCHLGER, P.Information processing letters. 1996, Vol 60, Num 4, pp 201-206, issn 0020-0190Article

SPLAT : A tool for model-checking and dynamically-enforcing abstractionsMADHAVAPEDDY, Anil; SCOTT, David; SHARP, Richard et al.Lecture notes in computer science. 2005, pp 277-281, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Using federations for flexible SCM systemsESTUBLIER, Jacky; LE, Anh-Tuyet; VILLALOBOS, Jorge et al.Lecture notes in computer science. 2003, pp 163-176, issn 0302-9743, isbn 3-540-14036-0, 14 p.Conference Paper

Apprendre avec la programmation logique inductive = Using inductive logic programming for learningJACQUENET, F; BERNARD, M; NICOLINI, C et al.International association for the development of interdisciplinary research. ColloquiumAssociation internationale pour le développement de la recherche interdisciplinaire. Colloque. 1997, pp 225-229Conference Paper

Transfer of conditional reasoning: effects of explanations and initial problem typesKLACZYNSKI, P. A; GELFAND, H; REESE, H. W et al.Memory & cognition. 1989, Vol 17, Num 2, pp 208-220, issn 0090-502XArticle

Theoretical studies of the energetics and mechanisms of chemical reactions: abstraction reactionsDUNNING, T. H. JR; HARDING, L. B; BAIR, R. A et al.Journal of physical chemistry (1952). 1986, Vol 90, Num 3, pp 344-356, issn 0022-3654Article

Generalizations of Dung Frameworks and Their Role in Formal Argumentation : Representation and ReasoningBREWKA, Gerhard; POLBERG, Sylwia; WOLTRAN, Stefan et al.IEEE intelligent systems. 2014, Vol 29, Num 1, pp 30-38, issn 1541-1672, 9 p.Article

Understanding the power of abstraction in patternsRISING, Linda.IEEE software. 2007, Vol 24, Num 4, pp 46-51, issn 0740-7459, 6 p.Article

Abstraction and multiple abstraction in the symbolic modeling of the environment of mobile robotsFERNANDEZ-MADRIGAL, Juan-Antonio; GONZALEZ, Javier; GALINDO, Cipriano et al.Lecture notes in computer science. 2005, pp 358-359, issn 0302-9743, isbn 3-540-27872-9, 2 p.Conference Paper

GOBELIN Une approche pragmatique de l'abstraction appliquée à la modélisation de la stratégie élémentaire du jeu de Go = GOBELIN A pragmatic approach of abstraction applied to the elementary strategy modelization of the game of GoRicaud, Patrick; Pitrat, J.1995, 193 p.Thesis

Qu'est-ce que le politique ? = What is politics?RUSCH, Pierre; LAXENAIRE, M; MOUTIN, P et al.Annales médico-psychologiques. 2014, Vol 172, Num 1, pp 37-40, issn 0003-4487, 4 p.Conference Paper

An exploration in the space of mathematical knowledgeKOHLHME, Andrea; KOHLHASE, Michael.Lecture notes in computer science. 2006, pp 17-32, issn 0302-9743, isbn 3-540-31430-X, 1Vol, 16 p.Conference Paper

Learning classifiers using hierarchically structured class taxonomiesFEIHONG WU; JUN ZHANG; HONAVAR, Vasant et al.Lecture notes in computer science. 2005, pp 313-320, issn 0302-9743, isbn 3-540-27872-9, 8 p.Conference Paper

Compositional derivation of symmetries for constraint satisfactionVAN HENTENRYCK, Pascal; FLENER, Pierre; PEARSON, Justin et al.Lecture notes in computer science. 2005, pp 234-247, issn 0302-9743, isbn 3-540-27872-9, 14 p.Conference Paper

Traversing psychological distanceLIBERMAN, Nira; TROPE, Yaacov.Trends in cognitive sciences (Regular ed.). 2014, Vol 18, Num 7, pp 364-369, issn 1364-6613, 6 p.Article

Is abstraction the key to computing?KRAMER, Jeef.Communications of the ACM. 2007, Vol 50, Num 4, pp 36-42, issn 0001-0782, 7 p.Article

Creating better abstract operatorsTEUTENBERG, Jonathan; BARLEY, Mike.Lecture notes in computer science. 2005, pp 206-217, issn 0302-9743, isbn 3-540-27872-9, 12 p.Conference Paper

The multi-depot periodic vehicle routing problemMINGOZZI, Aristide.Lecture notes in computer science. 2005, pp 347-350, issn 0302-9743, isbn 3-540-27872-9, 4 p.Conference Paper

Communicating design knowledge with groupware technology patterns: The case of shared object managementLUKOSCH, Stephan; SCHÜMMER, Till.Lecture notes in computer science. 2004, pp 223-237, issn 0302-9743, isbn 3-540-23016-5, 15 p.Conference Paper

  • Page / 165