Search results for "introduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Donatella Blaiotta, Lorenzo Faglia, Monica Varisco, Lucia Vezzoli	A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
8	Youngjin Yoo	Predicting Groupware Usage.	HICSS (6)	1998	DBLP DOI BibTeX RDF
8	Shukri A. Wakid, Shirley M. Radack	Measurement-based standards for future information technology systems.	ACM Stand.	1997	DBLP DOI BibTeX RDF
8	Roberto Serra	Book review: Analysis and applications of artificial neural networks by L.P.J. Veelenturf (Prentice Hall 1995).	SIGART Bull.	1997	DBLP DOI BibTeX RDF
8	Marek J. Patyra	Book review: Fuzzy logic and Neuro Fuzzy Applications Explained by Constantin von Altrock (Prentice Hall 1995).	SIGART Bull.	1997	DBLP DOI BibTeX RDF
8	Krzysztof P. Jankowski, Hoda A. ElMaraghy	Task space decomposition for invariant control of constrained robots.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	Task space, invariant control, constrained systems, decomposition, metric spaces, hybrid control, inner product
8	David L. MacPherson	Specification and Testing of High-Assurance Systems.	HASE	1996	DBLP DOI BibTeX RDF	missile control, Mk48 ADCAP torpedo, torpedo high-assurance testing, US Navy, submarine-launched torpedo, anti-submarine weapon, wire-guided thermal torpedo, depth profile, speed profile, arctic ice canopy, software controlled weapon, software enhancements, software testing, cost, software upgrades, performance enhancements
8	Gloria Mark, Wolfgang Prinz, Volker Wulf, Vidar Hepsø	Introducing Groupware into Organizations: What Leads to Successes and Failures? (workshop).	CSCW	1996	DBLP DOI BibTeX RDF
8	Ivo Cathomen, Howard Williams	The Diffusion of FEDI in the United Kingdom and Switzerland: A Comparative Case Study.	HICSS (4)	1996	DBLP DOI BibTeX RDF
8	Robert G. Pettit IV, Hassan Gomaa	Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF	software design methods, ADARTS, CODARTS, real-time systems, Petri nets
8	Bernd Holzmüller	Extending the Object-Orientedness of Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods
8	Laurent D. Cohen	Auxiliary Variables for Deformable Models.	ICCV	1995	DBLP DOI BibTeX RDF	mathematical formulation, surface reconstruction algorithms, two step iterative algorithms, potential data attraction, variables energy, implicit data constraint, non convex potential, explicit convex reconstruction problem, closest feature point, feature extraction, iterative methods, image restoration, image restoration, deformable models, templates, minimisation, auxiliary variables
8	Stéphane Genaud, Eric Violard, Guy-René Perrin	Transformation Techniques in PEI.	Euro-Par	1995	DBLP DOI BibTeX RDF	Communication, Broadcast, Refinement, Abstraction, Reduction, Data-parallelism
8	Luca Breveglieri, Luigi Dadda, Vincenzo Piuri	Column Compression Pipelined Multipliers.	ASAP	1995	DBLP DOI BibTeX RDF	pipelining, computer arithmetic, multipliers
8	Stephen Gallagher, Jarlath Trainor, Maureen Murphy, Edwin P. Curran	A Knowledge-based System for Competitive Bidding.	ANNES	1995	DBLP DOI BibTeX RDF	competitive bidding, hybrid knowledge-based system, decision support
8	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
8	Manolis Gergatsoulis, Maria Katzouraki	Unfold/Fold Transformations For Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
8	Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels	An EVES Data Abstraction Example.	FME	1993	DBLP DOI BibTeX RDF
8	Roger L. Wainwright	Introducing functional programming in discrete mathematics.	SIGCSE	1992	DBLP DOI BibTeX RDF	Miranda
8	Juan Alvarez Rubio	A first computing course based on curricula 1991.	SIGCSE	1992	DBLP DOI BibTeX RDF
8	Anas Tarah, Christian Huitema	Associating Metrics to Certification Paths.	ESORICS	1992	DBLP DOI BibTeX RDF
8	Raymond A. Lorie	The Use of a Complex Object Language in Geographic Data Management.	SSD	1991	DBLP DOI BibTeX RDF
8	Roberto V. Zicari	Incomplete Information in Object-Oriented Databases.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
8	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
8	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
8	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
8	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
8	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
8	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
8	E. Johnson, W. Wehrs, T. Delfield, J. Imhoff, V. Manter	Consulting without consultants: expert systems applications in user services.	SIGUCCS	1989	DBLP DOI BibTeX RDF
8	Gábor Péceli, Zoltán Papp	AI Techniques in the Curriculum of Engineering Students.	Artificial Intelligence in Higher Education	1989	DBLP DOI BibTeX RDF
8	Jeff Kramer, Jeff Magee	Change management of distributed systems.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF
8	Yesh C. Pendarkar	The porting of XINU to the system 370 VM/CMS environment (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	XINU, IBM System/370
8	Nigel Gardner	Integrating computers into the university curriculum: the experience of the UK computers.	SIGUCCS	1987	DBLP DOI BibTeX RDF
8	Don S. Batory, Michael V. Mannino	Panel on Extensible Database Systems.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
8	Colin Sterling	A Complete Modal Proof System for a Subset of SCCS.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
8	Keith D. Cooper	Analyzing Aliases of Reference Formal Parameters.	POPL	1985	DBLP DOI BibTeX RDF
8	Colin Stirling	A Complete Compositional Model Proof System for a Subset of CCS.	ICALP	1985	DBLP DOI BibTeX RDF
8	Erik Sandewall, Sture Hägglund, Christian Gustafsson, Lennat Jonesjö, Ola Strömfors	Stepwise structuring: a style of life for flexible software.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
8	C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz	Compatibility and Commutativity in Non-two-phase Locking Protocols.	PODS	1982	DBLP DOI BibTeX RDF
8	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
8	Maria Skarbo, Ken Rothmuller	What Employers Look For In Hiring Computer Science Graduates (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
8	Daniel P. Siewiorek, Mario Barbacci	The CMU RT-CAD system: an innovative approach to computer aided design.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
6	Ricardo Pinto de Castro, Scott J. Moura, Rui Esteves 0001, Keith Corzine	Guest Editorial Introduction to the Special Section on Next Generation Zero-Emission Vehicles.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF
6	Perumal Geetha, S. J. Vivekanandan, R. Yogitha, M. S. Jeyalakshmi	Optimal load balancing in cloud: Introduction to hybrid optimization algorithm.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
6	Sina Soltani	The Introduction of Improved Estimation Methodology via Fuzzy Sigma-Delta for Gamma-Ray Belt Conveyor.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
6	J. Christopher Westland	Introduction to the special issue on electronic commerce in banking and finance.	Electron. Commer. Res.	2024	DBLP DOI BibTeX RDF
6	Kenichi Okada	Guest Editorial Introduction to the Special Section on the 2023 RFIC Symposium.	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
6	Mike Shuo-Wei Chen, Visvesh S. Sathe 0001, Massimo Alioto, Jae-Sun Seo, Hidehiro Shiga	Guest Editorial Introduction to the Special Section on the 2023 IEEE International Solid-State Circuits Conference (ISSCC).	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
6	Mototsugu Hamada, Ron Kapusta	Introduction to the Special Issue on the 2023 Symposium on VLSI Circuits.	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
6	Suyel Namasudra, Pascal Lorenz, Seifedine Kadry 0001, Syed Ahmad Chan Bukhari	Introduction to the Special Issue on DNA-centric Modeling and Practice for Next-generation Computing and Communication Systems.	ACM Trans. Multim. Comput. Commun. Appl.	2024	DBLP DOI BibTeX RDF
6	Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Domenico Fabio Savo	A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
6	Michel Fathi, Panos M. Pardalos, Dursun Delen, Stefan Gold, Marzieh Khakifirooz	An Introduction to the Applications of Operations Research and Data Science in Disrupting Illicit Markets.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
6	Yong Zha, Yumin Sun, Yujing Chen, Linlin Zhao	Idlefish or not? Online platform's strategy of secondhand marketplace introduction in the presence of consumer's uncertain preferences and strategic behavior.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
6	Diana Göhringer, Georgios Keramidas, Akash Kumar 0001	Introduction to the FPL 2021 Special Section.	ACM Trans. Reconfigurable Technol. Syst.	2024	DBLP DOI BibTeX RDF
6	Fabio Rocca	Wide-Angle Repeat Pass Bistatic SAR Interferometry: A Geometrical Introduction.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
6	Erica Marie Gallerani, Lucas Berio Fortini, Christopher C. Warren, Eben H. Paxton	Identifying Conservation Introduction Sites for Endangered Birds through the Integration of Lidar-Based Habitat Suitability Models and Population Viability Analyses.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
6	Nicole Groene, Sergii Zakharov	Introduction of AI-based sales forecasting: how to drive digital transformation in food and beverage outlets.	Discov. Artif. Intell.	2024	DBLP DOI BibTeX RDF
6	Andrea Bender	Introduction to topiCS Volume 16, Issue 1.	Top. Cogn. Sci.	2024	DBLP DOI BibTeX RDF
6	Micah Sherr, Zubair Shafiq	Editors' Introduction.	Proc. Priv. Enhancing Technol.	2024	DBLP DOI BibTeX RDF
6	Micah Sherr, Zubair Shafiq	Editors' Introduction.	Proc. Priv. Enhancing Technol.	2024	DBLP DOI BibTeX RDF
6	Jason Samaha, Vincenzo Romei	Alpha-band Brain Dynamics and Temporal Processing: An Introduction to the Special Focus.	J. Cogn. Neurosci.	2024	DBLP DOI BibTeX RDF
6	Diana Santos, Thiago Alexandre Salgueiro Pardo	Computational approaches to Portuguese: introduction to the special issue.	Lang. Resour. Evaluation	2024	DBLP DOI BibTeX RDF
6	Christine Bauer 0001, Alan Said, Eva Zangerle	Introduction to the Special Issue on Perspectives on Recommender Systems Evaluation.	Trans. Recomm. Syst.	2024	DBLP DOI BibTeX RDF
6	Diego Collarana Vargas, Nassos Katsamanis	Large Language Models - Introduction to the Special Theme.	ERCIM News	2024	DBLP BibTeX RDF
6	Barbara Schuppler, Martine Adda-Decker, Catia Cucchiarini, Rudolf Muhr	An introduction to pluricentric languages in speech science and technology.	Speech Commun.	2024	DBLP DOI BibTeX RDF
6	Masaaki Nagahara	Introduction to Compressed Sensing with Python.	IEICE Trans. Commun.	2024	DBLP DOI BibTeX RDF
6	Byungdo Park	Differential Cohomology and Gerbes: An Introduction to Higher Differential Geometry.	Axioms	2024	DBLP DOI BibTeX RDF
6	He Huang 0001, Shigang Chen, Ran Ben Basat, Haipeng Dai, Amirhosein Taherkordi, Jun Xu 0014	Guest Editorial Introduction to the Special Section on Next-Generation Traffic Measurement With Network-Wide Perspective and Artificial Intelligence.	IEEE Trans. Netw. Sci. Eng.	2024	DBLP DOI BibTeX RDF
6	Noemi Mauro, Federica Cena, Cynthia Putnam, Maria Soledad Pera, David Roldán-Álvarez	Introduction to this special issue on intelligent systems for people with diverse cognitive abilities.	Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
6	Liuping Wang, Antonio Visioli	Introduction to the special issue on PID control system design, automatic tuning and applications.	Int. J. Control	2024	DBLP DOI BibTeX RDF
6	Seiya Mitsuno, Yuichiro Yoshikawa, Midori Ban, Hiroshi Ishiguro	Agreebot introduction dialogue in human-robot interaction: improving the acceptability of robot statements on incapable robotic experiences.	Adv. Robotics	2024	DBLP DOI BibTeX RDF
6	Raquel Amaro, Rute Costa	Guest Editors' Introduction: Humanities Going Digital: Teaching, Training and Research Experiences.	Int. J. Humanit. Arts Comput.	2024	DBLP DOI BibTeX RDF
6	Philippe Maesen, Edouard Salingros	Introduction to Reproducible Geospatial Analysis and Figures in R: A Tutorial Article.	Data	2024	DBLP DOI BibTeX RDF
6	Liangtian Wan, Guoan Bi, Bo Ai 0001, Yuan Yuan 0004	Guest Editorial Introduction to the Special Issue on Advanced Signal Processing and AI Technologies for Transportation Big Data and Their Applications in COVID-19 Scenario and Beyond.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
6	Federica Cena, Cristina Gena, Tsvi Kuflik, Fabiana Vernero	Introduction to the special issue on the impact of interface design for soliciting user's feedback.	Behav. Inf. Technol.	2024	DBLP DOI BibTeX RDF
6	Avinash Karanth	Editorial: EiC Farewell and Introduction of new EiC.	IEEE Trans. Computers	2024	DBLP DOI BibTeX RDF
6	Zilong Zhong, Lin Fan	Introduction to Digital Humanities: Enhancing Scholarship with the Use of Technology. Kathryn C. Wymer.	Digit. Scholarsh. Humanit.	2024	DBLP DOI BibTeX RDF
6	José Alfredo Díaz-León, Olatz Arbelaitz, Ana Arruarte	Introduction to informatics in a Peruvian penitentiary using cs unplugged: from university to penitentiary.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
6	Ashok K. Goel 0001, Chaohua Ou	Introduction to the Special Issue.	AI Mag.	2024	DBLP DOI BibTeX RDF
6	Gad Allon	Introduction to Special Section on Data-Driven Research Challenge.	Manuf. Serv. Oper. Manag.	2024	DBLP DOI BibTeX RDF
6	Daniel Casini, Dakshina Dasari, Matthias Becker 0004, Giorgio C. Buttazzo	Introduction to the Special Issue on Real-Time Computing in the IoT-to-Edge-to-Cloud Continuum.	ACM Trans. Embed. Comput. Syst.	2024	DBLP DOI BibTeX RDF
6	Frank Uhlig	Zhang neural networks: an introduction to predictive computations for discretized time-varying matrix problems.	Numerische Mathematik	2024	DBLP DOI BibTeX RDF
6	Yong Shi	Editor's Introduction.	Int. J. Inf. Technol. Decis. Mak.	2024	DBLP DOI BibTeX RDF
6	James M. Tien, Yong Shi 0001, Jianping Li 0001	Guest Editors' Introduction for the Special Issue on The Role of Decision Making to Overcome COVID-19.	Int. J. Inf. Technol. Decis. Mak.	2024	DBLP DOI BibTeX RDF
6	Wei Xu, Feng Du, Liang Zhang, Liezhong Ge	Introduction to the Special Issue on Human-Computer Interaction Innovations in China.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
6	Francesco Carlo Morabito	Introduction.	Int. J. Neural Syst.	2024	DBLP DOI BibTeX RDF
6	Tianming Ni, Xiaoqing Wen, Hussam Amrouch, Cheng Zhuo, Peilin Song	Introduction to the Special Issue on Design for Testability and Reliability of Security-aware Hardware.	ACM Trans. Design Autom. Electr. Syst.	2024	DBLP DOI BibTeX RDF
6	Pierre Alquier	User-friendly Introduction to PAC-Bayes Bounds.	Found. Trends Mach. Learn.	2024	DBLP DOI BibTeX RDF
6	Amir Shachar	Introduction to Algogens.	CoRR	2024	DBLP DOI BibTeX RDF
6	Thomas Lamiaux, Benedikt Ahrens	An Introduction to Different Approaches to Initial Semantics.	CoRR	2024	DBLP DOI BibTeX RDF
6	Farhad Rezazadeh	A Mathematical Introduction to Deep Reinforcement Learning for 5G/6G Applications.	CoRR	2024	DBLP DOI BibTeX RDF
6	Xin-She Yang	Nature-Inspired Algorithms in Optimization: Introduction, Hybridization and Insights.	CoRR	2024	DBLP DOI BibTeX RDF
6	M. B. Vovchanskyi	A quick probability-oriented introduction to operator splitting methods.	CoRR	2024	DBLP DOI BibTeX RDF
6	Victor Manuel Larios, Jose Guadalupe Robledo-Hernández, Leopoldo Gómez-Barba, R. Rincón	IEEE-GDL CCD Smart Buildings Introduction.	CoRR	2024	DBLP DOI BibTeX RDF
6	Raphaël Millière, Cameron Buckner	A Philosophical Introduction to Language Models - Part I: Continuity With Classic Debates.	CoRR	2024	DBLP DOI BibTeX RDF
6	Ethan N. Evans, Dominic Byrne, Matthew G. Cook	A Quick Introduction to Quantum Machine Learning for Non-Practitioners.	CoRR	2024	DBLP DOI BibTeX RDF
6	Jiatong Shi, Yueqian Lin, Xinyi Bai, Keyi Zhang, Yuning Wu, Yuxun Tang, Yifeng Yu, Qin Jin, Shinji Watanabe 0001	Singing Voice Data Scaling-up: An Introduction to ACE-Opencpop and KiSing-v2.	CoRR	2024	DBLP DOI BibTeX RDF
6	Josh Hunter, John A. McDermid, Simon Burton	Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology.	CoRR	2024	DBLP DOI BibTeX RDF
6	Tom Williams 0001	Introduction to Human-Robot Interaction: A Multi-Perspective Introductory Course.	CoRR	2024	DBLP DOI BibTeX RDF