Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 ProceedingsSpringer-Verlag Berlin Heidelberg 1985 ;ISSN: 0302-9743 ;ISBN: 3662200473 ;ISBN: 9783662200476 ;ISBN: 9783540160427 ;ISBN: 3540160426 ;EISSN: 1611-3349 ;EISBN: 9783540397229 ;EISBN: 3540397221 ;DOI: 10.1007/3-540-16042-6Full text available |
|
2 |
Material Type: Book
|
Database Machines: Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 ProceedingsSpringer-Verlag Berlin Heidelberg 1989 ;ISSN: 0302-9743 ;ISBN: 9783540513247 ;ISBN: 3662175592 ;ISBN: 9783662175590 ;ISBN: 3540513248 ;EISSN: 1611-3349 ;EISBN: 3540461973 ;EISBN: 9783540461975 ;DOI: 10.1007/3-540-51324-8Full text available |
|
3 |
Material Type: Article
|
Graph drawing by force-directed placementSoftware, practice & experience, 1991-11, Vol.21 (11), p.1129-1164 [Peer Reviewed Journal]Copyright © 1991 John Wiley & Sons, Ltd ;1992 INIST-CNRS ;ISSN: 0038-0644 ;EISSN: 1097-024X ;DOI: 10.1002/spe.4380211102 ;CODEN: SPEXBLFull text available |
|
4 |
Material Type: Article
|
The NAS parallel benchmarksThe International journal of supercomputer applications, 1991-09, Vol.5 (3), p.63-73 [Peer Reviewed Journal]1992 INIST-CNRS ;ISSN: 0890-2720 ;DOI: 10.1177/109434209100500306 ;CODEN: IJSAE9Full text available |
|
5 |
Material Type: Article
|
Learning logical definitions from relationsMachine learning, 1990-08, Vol.5 (3), p.239-266 [Peer Reviewed Journal]ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/BF00117105Full text available |
|
6 |
Material Type: Article
|
Modeling and verification of time dependent systems using time Petri netsIEEE transactions on software engineering, 1991-03, Vol.17 (3), p.259-273 [Peer Reviewed Journal]1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Mar 1991 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.75415 ;CODEN: IESEDJFull text available |
|
7 |
Material Type: Article
|
Robust taboo search for the quadratic assignment problemParallel computing, 1991-07, Vol.17 (4), p.443-455 [Peer Reviewed Journal]1991 Elsevier Science Publishers B.V. All rights reserved ;1992 INIST-CNRS ;ISSN: 0167-8191 ;EISSN: 1872-7336 ;DOI: 10.1016/S0167-8191(05)80147-4 ;CODEN: PACOEJFull text available |
|
8 |
Material Type: Article
|
Automated software test data generationIEEE transactions on software engineering, 1990-08, Vol.16 (8), p.870-879 [Peer Reviewed Journal]1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Aug 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.57624 ;CODEN: IESEDJFull text available |
|
9 |
Material Type: Article
|
Dynamic load balancing for distributed memory multiprocessorsJournal of parallel and distributed computing, 1989-10, Vol.7 (2), p.279-301 [Peer Reviewed Journal]1989 ;1990 INIST-CNRS ;ISSN: 0743-7315 ;EISSN: 1096-0848 ;DOI: 10.1016/0743-7315(89)90021-XFull text available |
|
10 |
Material Type: Article
|
Computation of component image velocity from local phase informationInternational journal of computer vision, 1990-08, Vol.5 (1), p.77-104 [Peer Reviewed Journal]ISSN: 0920-5691 ;EISSN: 1573-1405 ;DOI: 10.1007/BF00056772Full text available |
|
11 |
Material Type: Article
|
A new curve detection method: Randomized Hough transform (RHT)Pattern recognition letters, 1990-05, Vol.11 (5), p.331-338 [Peer Reviewed Journal]1990 ;1990 INIST-CNRS ;ISSN: 0167-8655 ;EISSN: 1872-7344 ;DOI: 10.1016/0167-8655(90)90042-Z ;CODEN: PRLEDGFull text available |
|
12 |
Material Type: Article
|
Genetic algorithms and neural networks: optimizing connections and connectivityParallel computing, 1990-08, Vol.14 (3), p.347-361 [Peer Reviewed Journal]1990 ;1991 INIST-CNRS ;ISSN: 0167-8191 ;EISSN: 1872-7336 ;DOI: 10.1016/0167-8191(90)90086-O ;CODEN: PACOEJFull text available |
|
13 |
Material Type: Article
|
The evolving philosophers problem: dynamic change managementIEEE transactions on software engineering, 1990-11, Vol.16 (11), p.1293-1306 [Peer Reviewed Journal]1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Nov 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.60317 ;CODEN: IESEDJFull text available |
|
14 |
Material Type: Article
|
Cones of Matrices and Set-Functions and 0–1 OptimizationSIAM journal on optimization, 1991-05, Vol.1 (2), p.166-190 [Peer Reviewed Journal][Copyright] © 1991 Society for Industrial and Applied Mathematics ;ISSN: 1052-6234 ;EISSN: 1095-7189 ;DOI: 10.1137/0801013Full text available |
|
15 |
Material Type: Article
|
A calculus of durationsInformation processing letters, 1991-12, Vol.40 (5), p.269-276 [Peer Reviewed Journal]1991 ;1992 INIST-CNRS ;Copyright Elsevier Sequoia S.A. Dec 13, 1991 ;ISSN: 0020-0190 ;EISSN: 1872-6119 ;DOI: 10.1016/0020-0190(91)90122-X ;CODEN: IFPLATFull text available |
|
16 |
Material Type: Article
|
Test selection based on finite state modelsIEEE transactions on software engineering, 1991-06, Vol.17 (6), p.591-603 [Peer Reviewed Journal]1992 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jun 1991 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.87284 ;CODEN: IESEDJFull text available |
|
17 |
Material Type: Article
|
A computational framework and an algorithm for the measurement of visual motionInternational journal of computer vision, 1989-01, Vol.2 (3), p.283-310 [Peer Reviewed Journal]ISSN: 0920-5691 ;EISSN: 1573-1405 ;DOI: 10.1007/BF00158167Full text available |
|
18 |
Material Type: Article
|
STATEMATE: a working environment for the development of complex reactive systemsIEEE transactions on software engineering, 1990-04, Vol.16 (4), p.403-414 [Peer Reviewed Journal]1990 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Apr 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.54292 ;CODEN: IESEDJFull text available |
|
19 |
Material Type: Article
|
Automatic signature verification and writer identification — the state of the artPattern recognition, 1989, Vol.22 (2), p.107-131 [Peer Reviewed Journal]1989 ;1989 INIST-CNRS ;ISSN: 0031-3203 ;EISSN: 1873-5142 ;DOI: 10.1016/0031-3203(89)90059-9 ;CODEN: PTNRA8Full text available |
|
20 |
Material Type: Article
|
An ontological model of an information systemIEEE transactions on software engineering, 1990-11, Vol.16 (11), p.1282-1292 [Peer Reviewed Journal]1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Nov 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.60316 ;CODEN: IESEDJFull text available |