注册 | 登录 | FAQ      [?] 

所有的文献@标签 1990 [30 articles]

当前文献的标签分类为: 1990.
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to 1990 dependenttype specification type verification by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • The Logic of Decision
    (15 July 1990)
    by Richard C Jeffrey
    posted to 1990 bacr basi books decision-theory by quianominorleo on 2008-06-27 13:12:11 as ** along with 1 person amorgan
  • Multicarrier modulation for data transmission: an idea whose time has come
    Communications Magazine, IEEE, Vol. 28, No. 5. (1990), pp. 5-14.
    by JAC Bingham
    posted to 1990 ofdm by plutonheaven on 2008-03-06 15:09:39 as read along with 2 people simon_o dcastro
  • Work-Oriented Design of Computer Artifacts
    by Pelle Ehn
    posted to 1990 pd by maike on 2007-06-20 13:53:35 as ** along with 2 people laurene jared
  • Where should the person stop and the information search interface start?
    Information Processing & Management, Vol. 26, No. 5. (1990), pp. 575-591.
    by Marcia J Bates
    posted to 1990 bib by maike on 2007-06-18 13:41:56 as ** along with 2 people and 1 group irenas mikeee dbk-lab
  • Cooperative Prototyping - Users and designers in mutual activity
    (1990)
    by Susanne Bødker, Kaj Grønbæk
    posted to 1990 pd proto emp by maike on 2007-07-05 08:39:57 as **
  • The computer reaches out: the historical continuity of interface design
    (1990), pp. 261-268.
    by Jonathan Grudin
    posted to 1990 hci by maike on 2007-06-18 11:45:53 as ****
  • Das gekaufte Herz. Zur Kommerzialisierung der Gefühle
    (01 January 1990)
    by Arlie R Hochschild
    posted to 1990 emo gen work by maike on 2007-10-22 11:03:53 as read
  • STATEMATE: a working environment for the development of complex reactive systems
    Software Engineering, IEEE Transactions on, Vol. 16, No. 4. (1990), pp. 403-414.
    by David Harel, H Lachover, Amnon Naamad, Amir Pnueli, M Politi, R Sherman, Shtull A Trauring, M Trakhtenbrot
    posted to statemate statecharts reactive_systems 1990 by leonardo on 2006-10-08 19:43:32 as **
  • Refinement of state-based concurrent systems
    Lecture Notes in Computer Science : VDM '90 VDM and Z — Formal Methods in Software Development (1990), pp. 340-351.
    by JCP Woodcock, Carroll Morgan
    posted to refinement concurrent_systems 1990 by leonardo on 2006-10-07 02:48:29 as ****
  • Graphical specification of object oriented systems
    Vol. 25, No. 10. (October 1990), pp. 28-37.
    by Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
    posted to statecharts semantics 1990 by leonardo on 2006-04-03 03:00:19 as **
  • Refinement calculus, part II: Parallel and reactive programs
    : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990a), pp. 67-93.
    by Ralph J Back
    posted to refinement reactive_systems 1990 by leonardo on 2007-02-05 23:16:32 as ****
  • Refinement of concurrent systems based on local state transformations
    Lecture Notes in Computer Science : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990), pp. 641-668.
    by Lucia Pomello
    posted to refinement concurrent_systems 1990 by leonardo on 2006-10-07 02:49:06 as ****
  • Refinement calculus, part I: Sequential nondeterministic programs
    Lecture Notes in Computer Science : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990), pp. 42-66.
    by Ralph J Back, J von Wright
    posted to 1990 refinement by leonardo on 2006-10-15 03:01:56 as **
  • A Monte Carlo Implementation of the EM Algorithm and the Poor Man's Data Augmentation Algorithms
    Journal of the American Statistical Association, Vol. 85, No. 411. (1990), pp. 699-704.
    by Greg CG Wei, Martin A Tanner
    posted to 1990 and tanner wei by ifejobi on 2007-12-04 00:11:10 as ** along with 1 person austin987
  • Partitioning sparse matrices with eigenvectors of graphs
    SIAM J. Matrix Anal. Appl., Vol. 11, No. 3. (July 1990), pp. 430-452.
    by Alex Pothen, Horst D Simon, Kan-Pu Liou
    posted to 1990 clustering by henningpeters on 2006-05-30 01:50:54 as **** along with 3 people and 1 group filippone lberning happydongyy CSCW
  • Modular extensions to Z
    VDM '90 VDM and Z — Formal Methods in Software Development (1990), pp. 211-232.
    by Augusto Sampaio, Sílvio Meira
    posted to 1990 _conference z by leonardo to the group SRG on 2007-10-05 16:07:30 as **
  • Modular Object-oriented Z Specifications
    (1990), pp. 173-192.
    by Sílvio R Meira, Ana Cavalcanti
    edited by JE Nicholls
    posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:18:48 as **
  • The MooZ Environment
    (1990), pp. 381-381.
    by Sílvio R Meira
    edited by JE Nicholls
    posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:16:46 as **
  • "I Don't Care What They Say, as Long as They Spell My Name Right": Publicity, Reputation and Turnover
    Group Organization Management, Vol. 15, No. 1. (1 March 1990), pp. 53-74.
    by Christine T Kydd, John R Ogilvie, Allen L Slade
    posted to 1990 reputation by drakkos69 on 2008-06-25 11:45:59 as ****
  • When Politics Pays: Factors Influencing Managerial Compensation Decisions
    Personnel Psychology, Vol. 43, No. 3. (1990), pp. 599-614.
    by Kathryn Bartol, David Martin
    posted to 1990 reputation by drakkos69 on 2008-06-25 11:59:06 as **
  • A Course in Simulation
    (31 August 1990)
    by Sheldon M Ross
    posted to 1990 probability random-variables simulation stochasticity by ddahlem on 2006-06-26 11:59:19 as read
  • Practical Statistics for Medical Research
    (22 November 1990)
    by Douglas G Altman, Douglas G Altman
    posted to 1990 introduction statistics by ddahlem on 2006-06-10 17:17:38 as read along with 3 people buggle eegilbert gareth
  • Cybernetic Issues in Interactive Performance Systems
    Computer Music Journal, Vol. 14, No. 1. (1990), pp. 12-25.
    by Jeff Pressing
    posted to 1990 control interactive-performance interactive-systems by cerkut on 2007-11-14 11:58:47 as read
  • Model-based segmentation and estimation of 3D surfaces from two or more intensity images using Markov random fields
    Pattern Recognition, 1990. Proceedings., 10th International Conference on, Vol. i (1990), pp. 390-397 vol.1.
    by J Subrahmonia, YP Hung, DB Cooper
    posted to 1990 3d doctorate segmentation by asderina on 2008-04-07 22:02:17 as ***
  • Bayesian modeling of uncertainty in low-level vision
    Int. J. Comput. Vision, Vol. 5, No. 3. (December 1990), pp. 271-301.
    by Richard Szeliski
    posted to 1990 doctorate by asderina on 2008-05-02 17:37:54 as *** along with 1 person jjeong
  • Intrinsic contact sensing for soft fingers
    Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on (1990), pp. 968-973 vol.2.
    by A Bicchi
    posted to 1990 by aparravicini on 2008-04-21 08:24:50 as ** along with 1 person rockelegancy
  • Resonant acoustic scattering from solid targets
    The Journal of the Acoustical Society of America, Vol. 88, No. 1. (1990), pp. 505-514.
    by Andrew N Norris
    posted to 1990 journal-j_acoust_soc_am by Andrew_Norris on 2006-08-18 18:19:48 as read
  • The speed of a tube wave
    The Journal of the Acoustical Society of America, Vol. 87, No. 1. (1990), pp. 414-417.
    by AN Norris
    posted to 1990 journal-j_acoust_soc_am by Andrew_Norris on 2006-08-18 18:20:37 as read
  • The mechanical properties of platelet reinforced composites
    International Journal of Solids and Structures, Vol. 26, No. 5-6. (1990), pp. 663-674.
    by AN Norris
    posted to 1990 journal-int_j_solids_struct by Andrew_Norris on 2006-08-18 17:23:53 as read
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/tag/1990

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.