Tag 1995 [180 articles] Export

Recent papers classified by the tag 1995.

	Implementing global memory management in a workstation cluster [My Copy] In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles (1995), pp. 201-212. by M. J. Feeley, W. E. Morgan, E. P. Pighin, A. R. Karlin, H. M. Levy, C. A. Thekkath posted to cache 1995 by maropu on 2009-11-18 01:45:10 as along with 3 people yama6 kzk_mover hamurster
	Living design memory: framework, implementation, lessons learned [My Copy] Hum.-Comput. Interact., Vol. 10, No. 1. (1995), pp. 1-37. by Loren G. Terveen, Peter G. Selfridge, M. David Long posted to software_architecture_knowledge_management_book 1995 by buchgeher on 2009-10-27 09:15:11 as
	Particle swarm optimization [My Copy] Neural Networks, 1995. Proceedings., IEEE International Conference on In Neural Networks, 1995. Proceedings., IEEE International Conference on, Vol. 4 (1995), pp. 1942-1948 vol.4. by J. Kennedy, R. Eberhart posted to pso metaheuristics 1995 by japarejo on 2009-10-16 11:14:47 as along with 14 people and 3 groups chrisfischer jstephens kentz andreud nigham pmendes sdvillal pescar238 dilbert rodrhern mahmoodr laura_prada Iainios peskin Scout/Leader Systems SORG uchile_int_computacional
	Formal Methods to Aid the Evolution of Software [My Copy] International Journal of Software Engineering and Knowledge Engineering, Vol. 5, No. 1. (1995), pp. 25-47. by Martin P. Ward, Keith H. Bennett posted to software_evolution 1995 by leonardo on 2009-10-06 18:45:33 as
	Greedy Randomized Adaptive Search Procedures [My Copy] Journal of Global Optimization, Vol. 6 (1995), pp. 109-133. by Thomas A. Feo, Mauricio G. C. Resende posted to optimization metaheuristics grasp 1995 by japarejo on 2009-09-28 19:22:16 as
	Controlled-root formulation for digital phase-locked loops [My Copy] Aerospace and Electronic Systems, IEEE Transactions on In Aerospace and Electronic Systems, IEEE Transactions on, Vol. 31, No. 1. (1995), pp. 78-95. by S. A. Stephens, J. B. Thomas posted to loop-filter dll 1995 by plutonheaven on 2009-08-19 16:48:34 as along with 1 person damlegone
	Artificial Intelligence: Modern Approach [My Copy] (15 January 1995) by Stuart J. Russell, Peter Norvig posted to book ai 1995 by ddahlem on 2009-08-14 12:50:54 as along with 1 person and 1 group mthomure StFX Centre for Logic and Information
	Inverted file partitioning schemes in multiple disk systems [My Copy] Parallel and Distributed Systems, IEEE Transactions on In Parallel and Distributed Systems, IEEE Transactions on, Vol. 6, No. 2. (1995), pp. 142-153. by Byeong-Soo Jeong, E. Omiecinski posted to 1995 distributed-system ieee inverted-index by mogwaing on 2009-07-16 12:51:53 as
	A case for NOW (Networks of Workstations) [My Copy] Micro, IEEE, Vol. 15, No. 1. (1995), pp. 54-64. by T. E. Anderson, D. E. Culler, D. Patterson posted to computing distributed network workstation 1995 by ricardoaraujo on 2009-07-13 18:11:05 as along with 1 person kistijantoro
	Ein Bild sagt mehr als tausend Worte: Symbole in der Supervision und Beratungsarbeit [My Copy] (1995) by Renate John posted to 1995 ber by maike on 2009-07-13 10:11:22 as
	An automated method for dynamic ligand design. [My Copy] Proteins, Vol. 23, No. 4. (December 1995), pp. 472-490. by A. Miranker, M. Karplus posted to 1995 carlo flexibility ligand monte by klexa on 2009-06-29 15:34:14 as along with 2 people and 1 group oteri dfgreen Structural Biology Group TorVergata
	An Overview of Evolutionary Algorithms in Multiobjective Optimization [My Copy] Evolutionary Computation, Vol. 3 (1995), pp. 1-16. by Carlos M. Fonseca, Peter J. Fleming posted to 1995 evolutionary_algorithms multiobjective optimization by avoregnitiv on 2009-06-17 16:35:38 as along with 1 person vbaudoui
	Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach [My Copy] (06 April 1995) by Kenneth Slonneger, Barry L. Kurtz posted to 1995 book language programming semantics textbook by michaelbanks on 2009-05-25 11:15:47 as along with 2 people vlasovskikh mmuecke
	A new algorithm for the minimal-area convex enclosure problem [My Copy] European Journal of Operational Research, Vol. 84, No. 3. (03 August 1995), pp. 522-538. by R. Grinde posted to 1995 computational_geometry nesting optimization by avoregnitiv on 2009-05-19 11:28:40 as
	Solution approaches to irregular nesting problems [My Copy] European Journal of Operational Research, Vol. 84, No. 3. (3 August 1995), pp. 506-521. by Kathryn A. Dowsland, William B. Dowsland posted to 1995 heuristics nesting optimization packing survey by avoregnitiv on 2009-05-19 10:22:20 as along with 1 person ima
	History and the Culture Wars: The Case of the Smithsonian Institution's Enola Gay Exhibition [My Copy] The Journal of American History, Vol. 82, No. 3. (1995), pp. 1036-1063. by Richard H. Kohn posted to 1995 bombing culture culturewars display documents enolagay exhibitions hiroshima history japan museum museums nagasaki objects pedagogy politics presentation smithsonian ww2 by jannon on 2009-05-14 19:33:34 as along with 1 person ablachly
	Project Management Demystified: Today's Tools and Techniques [My Copy] (08 June 1995) by Geoff Reiss posted to 1995 management project by michaelbanks on 2009-05-13 18:20:23 as
	Software Requirements And Specifications: A Lexicon of Practice, Principles and Prejudices [My Copy] (23 August 1995) by Michael Jackson posted to 1995 book requirements software-engineering specification by michaelbanks on 2009-05-06 13:29:28 as along with 5 people chrishmorris pnpo bkohler leonardo aku8000
	Testing can be formal, too [My Copy] TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96. by Marie-Claude Gaudel posted to 1995 algebraic formal-methods semantics specification testing by michaelbanks on 2009-05-05 16:46:42 as
	On conditional and intrinsic autoregressions [My Copy] Biometrika, Vol. 82, No. 4. (1 December 1995), pp. 733-746. by Julian Besag, Charles Kooperberg posted to 1995 bayesian euroheis2 models spatial_dependence by famuvie on 2009-05-02 12:04:09 as along with 3 people renewang nurban pcarbo
	Mechanizing formal methods: Opportunities and challenges [My Copy] ZUM '95: The Z Formal Specification Notation In ZUM '95: The Z Formal Specification Notation, Vol. 967 (1995), pp. 105-113. by John Rushby posted to 1995 formal-methods mechanised model-checking proof tool by michaelbanks on 2009-05-01 11:06:33 as
	Algebraic specification languages: An overview [My Copy] Recent Trends in Data Type Specification In Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 81-115. by Martin Wirsing posted to 1995 algebraic language specification by michaelbanks on 2009-04-30 11:03:02 as
	Industrial applications of formal methods to model, design and analyze computer systems: an international survey [My Copy] (1995) by Dan Craigen, Susan Gerhart, Ted Ralston posted to 1995 formal-methods by michaelbanks on 2009-04-28 16:46:03 as
	Where Is Software Headed? A virtual roundtable [My Copy] Computer In Computer, Vol. 28, No. 8. (August 1995), pp. 20-32. by Dave Power, Bertrand Meyer, Jack Grimes, et al.Mike Potel, Ron Vetter, Phil Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hersham El-Rewini, Bruce W. Weide edited by Ted Lewis posted to 1995 roundtable software-engineering by michaelbanks on 2009-04-27 11:16:37 as
	Pentium FDIV flaw-lessons learned [My Copy] IEEE Micro In IEEE Micro, Vol. 15, No. 2. (1995), pp. 86-88. by Dick Price posted to 1995 bug pentium by michaelbanks on 2009-04-25 17:24:21 as along with 1 person gvdh
	Limitations of Formal Methods and An Approach to Improvement [My Copy] 1995 Asia Pacific Software Engineering Conference In 1995 Asia Pacific Software Engineering Conference (1995), pp. 498-507. by Shaoying Liu, Rolf Adams posted to 1995 formal-methods limitations refinement by michaelbanks on 2009-04-25 16:40:45 as
	Ten commandments of formal methods [My Copy] Computer, Vol. 28, No. 4. (April 1995), pp. 56-63. by Jonathan P. Bowen, Michael G. Hinchey posted to 1995 formal-methods guidelines by michaelbanks on 2009-04-25 11:39:44 as along with 2 people and 2 groups benavides oster tdg ecoo-ce
	The Mythical Man-Month: Essays on Software Engineering [My Copy] (12 August 1995) by Frederick P. Brooks posted to 1995 complexity development management no-silver-bullet software software-engineering by michaelbanks on 2009-04-25 11:32:37 as along with 26 people and 5 groups azwinkau muratp1 thermostat smogit robertlischke hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova asilva jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio bfraser leonardo cmalek Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture
	Seven more myths of formal methods [My Copy] IEEE Software In IEEE Software, Vol. 12, No. 4. (July 1995), pp. 34-41. by Jonathan P. Bowen, Michael G. Hinchey posted to 1995 criticism development formal-methods software by michaelbanks on 2009-04-23 11:36:35 as along with 1 person mishra_satish
	Social information filtering: algorithms for automating “word of mouth” [My Copy] In CHI '95: Proceedings of the SIGCHI conference on Human factors in computing systems (1995), pp. 210-217. by Upendra Shardanand, Pattie Maes posted to 1995 recsys by maike on 2009-04-21 16:06:39 as along with 1 person imrchen
	“One size fits all” database architectures do not work for DSS [My Copy] In SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data (1995), pp. 449-450. by Clark D. French posted to 1995 database dss sigmod by mogwaing on 2009-03-26 04:01:12 as along with 1 person angus
	Ordered shared locks for real-time databases [My Copy] The VLDB Journal, Vol. 4, No. 1. (1995), pp. 87-126. by Divyakant Agrawal, Amr E. Abbadi, Richard Jeffers, Lijing Lin posted to 1995 database lock vldb by mogwaing on 2009-03-04 07:05:32 as along with 1 person myui
	Constant Pressure and Temperature Molecular Dynamics Simulations of Crystals of the Lecithin Fragments: Glycerylphosphorylcholine and Dilauroylglycerol [My Copy] The Journal of Physical Chemistry, Vol. 99, No. 24. (1 June 1995), pp. 10035-10042. by Kechuan Tu, Douglas J. Tobias, Michael L. Klein posted to 1995 tu by priyaps on 2009-02-28 06:27:29 as
	Bayesian analysis of space - time variation in disease risk [My Copy] Statistics in Medicine, Vol. 14, No. 21-22. (1995), pp. 2433-2443. by Luisa Bernardinelli, David G. Clayton, Cristiana Pascutto, Cristina Montomoli, Mauro Ghislandi, Marco Songini posted to 1995 bayesian disease_mapping euroheis2 models spatiotemporal by famuvie on 2009-02-20 14:37:04 as
	Radio location in urban CDMA microcells [My Copy] Personal, Indoor and Mobile Radio Communications, 1995. PIMRC'95. 'Wireless: Merging onto the Information Superhighway'., Sixth IEEE International Symposium on In Personal, Indoor and Mobile Radio Communications. 'Wireless: Merging onto the Information Superhighway', Sixth IEEE International Symposium on, Vol. 2 (1995), pp. 858-862 vol.2. by J. J. Caffery, G. L. Stuber posted to 1995 3g nlos non-satellite-positioning by plutonheaven on 2009-02-16 16:29:55 as
	From Scenarios to Timed Automata: Building Specifications from Users Requirements [My Copy] In APSEC '95: Proceedings of the Second Asia Pacific Software Engineering Conference (1995) by Stephane Some, Rachida Dssouli, Jean Vaucher posted to 1995 related timed-automaton by mzp on 2009-02-16 02:19:15 as
	An efficient and secure authentication protocol using uncertified keys [My Copy] Operating Systems Review, Vol. 29, No. 3. (1995), pp. 14-21. by Lung I. Kao, Randy Chow posted to 1995 authentication kao-chow protocol security by michaelbanks on 2009-01-20 16:13:17 as
	Two attacks on Neuman-Stubblebine authentication protocols [My Copy] Information Processing Letters, Vol. 53, No. 2. (27 January 1995), pp. 103-107. by Tzonelih Hwang, Narn-Yoh Lee, Chuang-Ming Li, Ming-Yung Ko, Yung-Hsiang Chen posted to 1995 attack neuman-stubblebine protocol security type-flaw by michaelbanks on 2009-01-20 10:35:58 as
	Women and Training Policy in the European Union [My Copy] Gender, Work & Organization, Vol. 2, No. 1. (1995), pp. 34-45. by Teresa Rees posted to 1995 basic ber bild rueck by maike on 2009-01-12 09:34:07 as
	Computer-Related Risks [My Copy] (1995) by Peter G. Neumann posted to 1995 book computer engineering risk safety security software by michaelbanks on 2009-01-07 12:07:56 as
	Style: Toward Clarity and Grace [My Copy] (15 June 1995) by Joseph M. Williams posted to 1995 guidance writing by michaelbanks on 2008-12-15 15:56:36 as along with 4 people leonardo pbartleby jasmithoffice Sarai-J
	A fully abstract semantics of classes for Object-Z [My Copy] Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 289-313. by Graeme Smith posted to 1995 _to_download_springer ccs csp object-z semantics by leonardo on 2008-12-08 17:36:50 as
	Reasoning About Knowledge [My Copy] (14 August 1995) by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi posted to 1995 algorithms book distributed game-theory knowledge reasoning artificial-intelligence by michaelbanks on 2008-11-27 11:46:04 as along with 1 person dmilush
	SCOP: A structural classification of proteins database for the investigation of sequences and structures [My Copy] Journal of Molecular Biology, Vol. 247, No. 4. (7 April 1995), pp. 536-540. by Alexey G. Murzin, Steven E. Brenner, Tim Hubbard, Cyrus Chothia posted to 1995 database scop by GermanErlenkamp on 2008-11-13 16:36:07 as along with 1 person jlh64
	On channel estimation in OFDM systems [My Copy] Vehicular Technology Conference, 1995 IEEE 45th In Vehicular Technology Conference, 1995 IEEE 45th, Vol. 2 (1995), pp. 815-819 vol.2. by J. J. van de Beek, O. Edfors, M. Sandell, S. K. Wilson, P. O. Borjesson posted to 1995 channel-estimation ofdm by plutonheaven on 2008-11-04 10:07:49 as along with 2 people simon_o dcastro
	How to write a proof [My Copy] The American Mathematical Monthly, Vol. 102, No. 7. (1995), pp. 600-608. by Leslie Lamport edited by John H. Ewing posted to 1995 guidance mathematics proof by michaelbanks on 2008-10-30 18:10:55 as along with 8 people and 1 group reconnie kevinstuttgard pedagand ansobol dsquared ddahlem pverstra vrv macc
	Numerical simulation of extrusion through orifice dies and prediction of Bagley correction for an IUPAC-LDPE melt[sup [bold a)]] [My Copy] Journal of Rheology, Vol. 39, No. 1. (1995), pp. 193-209. by G. Barakos, E. Mitsoulis posted to 1995 iupac-ldpe lab3 ldpe-a viscoelastic by 6rheology on 2008-10-11 07:25:01 as
	The Seasonal Cycle over the Tropical Pacific in Coupled Ocean Atmosphere General Circulation Models [My Copy] Monthly Weather Review, Vol. 123 (1995), 2825. by C. R. Mechoso, A. W. Robertson, N. Barth, et al.M. K. Davey, P. Delecluse, P. R. Gent, S. Ineson, B. Kirtman, M. Latif, H. L. Treut, T. Nagai, J. D. Neelin, S. G. H. Philander, J. Polcher, P. S. Schopf, T. Stockdale, M. J. Suarez, L. Terray, O. Thual, J. J. Tribbia posted to 1995 al et mechoso by jhbowden on 2008-10-10 22:00:18 as
	Replicated File Management in Large-Scale Distributed Systems [My Copy] In WDAG '94: Proceedings of the 8th International Workshop on Distributed Algorithms (1994), pp. 1-16. by \ özalp Babaoglu, Alberto Bartoli, Gianluca Dini posted to 1995 adfs replication file-system by adriancolesa on 2008-10-04 12:04:14 as
	Reinforcement learning methods for continuous-time Markov decision problems [My Copy] In Advances in Neural Information Processing Systems 7, Vol. 7 (1995), pp. 393-400. by Steven J. Bradtke, Michael O. Duff posted to 1995 continuous-time markov mdp q-learning queuing-theory reinforcement-learning smdp td temporal-difference by ddahlem on 2008-09-29 15:15:12 as

Note: You may cite this page as: http://www.citeulike.org/tag/1995

Result page: 1 2 3 4 Next

books	11
pdf	11
doctorate	10
refinement	9
semantics	9
design	8
statecharts	8
language	7
segmentation	7
3d	6
computational-linguistics	6
formal-methods	6
journal-j_acoust_soc_am	6
psychology	6
software	6
bayesian	5
book	5
ethno	5
my-books	5
quia	5
statistics	5
bacr	4
cscw	4
development	4
hippocampus	4
neuroscience	4
optimization	4
presynapse	4
programming	4
proof	4
specification	4
stylometry	4
usedinthesis	4
00	3
_book	3
_to_download	3
bb	3
cras	3
database	3
emp	3
engineering	3
gen	3
management	3
membership	3
neuropsychology	3
no-basi	3
ofdm	3
os	3
patterns	3
pd	3
resource-management	3
security	3
software-engineering	3
sosp	3
synaptic-vesicle	3
vesicle-pool	3
x2008	3
xcp	3
008_pdc_lv	2
_to_review	2
ai	2
algebraic	2
annotation	2
asynchronous	2
basic	2
bayesian-networks	2
ber	2
complexity	2
concurrent_systems	2
distributed	2
edc	2
endocr	2
euroheis2	2
fshr	2
guidance	2
guidelines	2
hci	2
icde	2
journal-wave_motion	2
knowledge	2
learning	2
lhr	2
mathematics	2
metaheuristics	2
meth	2
mol	2
mr	2
mutation	2
my-libs	2
network	2
new-ed-available	2
old	2
parsing	2
protocol	2
requirements	2
service	2
sprachenlernen	2
textbook	2
tmd	2
tu	2

Tag 1995 [180 articles] Export

Related Tags