Search results for "Progress"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jihan Zhu, Peter Sutton	FPGA Implementations of Neural Networks - A Survey of a Decade of Progress.	FPL	2003	DBLP DOI BibTeX RDF
13	Guang R. Gao, Kevin B. Theobald, Ramaswamy Govindarajan, Clement Leung, Ziang Hu, Haiping Wu, Jizhu Lu, Juan del Cuvillo, Adeline Jacquet, Vincent Janot, Thomas L. Sterling	Programming Models and System Software for Future High-End Computing Systems: Work-in-Progress.	IPDPS	2003	DBLP DOI BibTeX RDF
13	Henry A. Kautz, Bart Selman	Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.	CP	2003	DBLP DOI BibTeX RDF
13	Sidney W. A. Dekker, David D. Woods	MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Function allocation, Computers, Automation, Cognition, Human error, Co-ordination
13	Andrew Eisenberg, Jim Melton	SQL/XML is Making Good Progress.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
13	Richard T. Snodgrass	Progress on ACM's Becoming the Preferred Publisher, Rights and responsibilities in ACM publishing.	Commun. ACM	2002	DBLP DOI BibTeX RDF	ACM
13	Jane C. Prey, Lee L. Zia	Progress on Educational Digital Libraries: Current Developments in the National Science Foundation's (NSF) National Science, Technology, Engineering, and Mathematics Education Digital Library (NSDL) Program.	ICADL	2002	DBLP DOI BibTeX RDF
13	Johannes Mezger, Stefan Kimmerle, Olaf Etzmuß	Progress in Collision Detection and Response Techniques for Cloth Animation.	PG	2002	DBLP DOI BibTeX RDF
13	Michael A. Palis	Online Real-Time Job Scheduling with Rate of Progress Guarantees.	ISPAN	2002	DBLP DOI BibTeX RDF
13	Donald Sannella	The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.	WADT	2001	DBLP DOI BibTeX RDF
13	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith	Progress on the State Explosion Problem in Model Checking.	Informatics	2001	DBLP DOI BibTeX RDF
13	J. Barrie Thompson	A Long and Winding Road (Progress on the Road to a Software Engineering Profession).	COMPSAC	2001	DBLP DOI BibTeX RDF	Professional Standards, Harmonisation, Software Engineering, Professionalism, Globalisation, Code of Ethics, Body of Knowledge
13	Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen	Progress And Challenges In Building Evolvable Devices.	Evolvable Hardware	2001	DBLP DOI BibTeX RDF
13	Shujun Li, Xuanqin Mou, Yuanlong Cai	Pseudo-random Bit Generator Based on Couple Chaotic Systems and Its Applications in Stream-Cipher Cryptography.	INDOCRYPT	2001	DBLP DOI BibTeX RDF
13	Andries van Dam, Andrew S. Forsberg, David H. Laidlaw, Joseph J. LaViola Jr., Rosemary Michelle Simpson	Immersive VR for Scientific Visualization: A Progress Report.	IEEE Computer Graphics and Applications	2000	DBLP DOI BibTeX RDF
13	James S. Duncan, Nicholas Ayache	Medical Image Analysis: Progress over Two Decades and the Challenges Ahead.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	computer vision, image segmentation, Medical imaging, image registration, medical image analysis, image-guided surgery, nonrigid motion, deformable contours
13	Craig H. Wittenberg	Progress in testing component-based software (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
13	Joanna Bryson, Lynn Andrea Stein	Architectures and Idioms: Making Progress in Agent Design.	ATAL	2000	DBLP DOI BibTeX RDF
13	P. D. Ktenidis, A. T. Paraskevopoulos	Information and Communication Technology (ICT) Infrastructure for Small and Medium Enterprises (SMEs) Networks: Achievements and Work-in-Progress from Three European Projects.	RIDE	1999	DBLP DOI BibTeX RDF
13	Jin-yi Cai	Some Recent Progress on the Complexity of Lattice Problems.	CCC	1999	DBLP DOI BibTeX RDF
13	Jeff Leane	Work in Progress Report: Chemdex and the Business to Business Marketmaker Business Model.	WECWIS	1999	DBLP DOI BibTeX RDF	marketmaker, internet, e-commerce, procurement, b2b, business-to-business, purchasing, marketplace, biotechnology
13	Jill D. Crisman, Michael E. Cleary	Progress on the Deictically Controlled Wheelchair.	Assistive Technology and Artificial Intelligence	1998	DBLP DOI BibTeX RDF
13	Brad Couch	Process flow-through for service provisioning-an implementation progress report.	NOMS	1998	DBLP DOI BibTeX RDF
13	Holger Hermanns, Markus Lohrey	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
13	James E. Saultz	Rapid Prototyping of Application-Specific Signal Processors (RASSP) In-Progress Report.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
13	Alistair D. N. Edwards	Progress in Sign Languages Recognition.	Gesture Workshop	1997	DBLP DOI BibTeX RDF	feature-based grammars, richly grounding symbols, gesture, Sign language, facial expression recognition
13	Mike Paterson	Progress in Selection.	SWAT	1996	DBLP DOI BibTeX RDF
13	Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino	Certification of reusable software components: summary of work in progress.	ICECCS	1996	DBLP DOI BibTeX RDF	reusable software component certification, Air Force, Certification Framework, cost benefit plan, certification tools, prototype, software reusability, business strategies, research and development
13	Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino	Certification of Reusable Software Components: Summary of Work In Progress.	ICECCS	1996	DBLP DOI BibTeX RDF
13	Clement T. Yu, Weiyi Meng	Progress in Database Search Strategies.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	database search strategies, retrieval speed, retrieval precision, pictorial databases, distributed relational database, query processing, query processing, relational databases, relational database, distributed databases, distributed database, object-oriented database, database theory, heterogeneous environment, heterogeneous database, multidatabase systems, unstructured data, textual database
13	Robert F. Mathis	Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status.	Ada-Europe	1993	DBLP DOI BibTeX RDF
13	Raymond S. Nickerson, D. N. Kalikow, Kenneth N. Stevens	A computer-based system of speech-training aids for the deaf: a progress report.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
13	Gerard Salton	Control procedures for data communication - an ASA progress report.	Commun. ACM	1966	DBLP DOI BibTeX RDF
12	Eli Gafni, Petr Kuznetsov	Brief announcement: on L-resilience, hitting sets, and colorless tasks.	PODC	2010	DBLP DOI BibTeX RDF	distributed tasks, l-resilience, weak solvability, wait-freedom
12	David Notkin	Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	software engineering/general, software engineering process/life cycle
12	Kook Jin Ahn, Sudipto Guha	Graph Sparsification in the Semi-streaming Model.	ICALP (2)	2009	DBLP DOI BibTeX RDF
12	Cen Li, Bryan Bodkin, James Lancaster	Programming Khepera II robot for autonomous navigation and exploration using the hybrid architecture.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	visualization, robotics, navigation, planning, D* lite
12	Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, Nancy A. Lynch	Keeping Mobile Robot Swarms Connected.	DISC	2009	DBLP DOI BibTeX RDF
12	Gadi Taubenfeld	On the Computational Power of Shared Objects.	OPODIS	2009	DBLP DOI BibTeX RDF	power numbers, k-obstruction-freedom, wait-free hierarchy, power hierarchy, universality, Shared objects, wait-freedom, consensus numbers
12	Joc Cing Tay, Cheun Hou Tng, Chee Siong Chan	Environmental effects on the coevolution of pursuit and evasion strategies.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Pursuit and evasion, Chemical Genetic Programming, Competitive coevolution, Game of tag
12	Jinhua Li, Zhibing Ma, Huangzhen Dong	Monitoring Software Projects with Earned Value Analysis and Use Case Point.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	earned value analysis, monitor and control, software project, use case point
12	Torsten Hoefler, Andrew Lumsdaine	Optimizing non-blocking collective operations for infiniband.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Igor S. Pandzic	Virtual Humans: From Researcher's Fascination to Mass-Market Technology.	KES (1)	2008	DBLP DOI BibTeX RDF
12	Sirui Yang, Hai Jin 0001, Bo Li 0001, Xiaofei Liao, Hong Yao, Xuping Tu	The Content Pollution in Peer-to-Peer Live Streaming Systems: Analysis and Implications.	ICPP	2008	DBLP DOI BibTeX RDF
12	Tom M. Mitchell	Learning, Information Extraction and the Web.	ECML/PKDD	2007	DBLP DOI BibTeX RDF
12	Luca de Alfaro, Marco Faella	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.	CAV	2007	DBLP DOI BibTeX RDF
12	Satoru Shirata, Atsushi Konno, Masaru Uchiyama	Design and evaluation of a gravity compensation mechanism for a humanoid robot.	IROS	2007	DBLP DOI BibTeX RDF
12	Atri Rudra	Efficient List Decoding of Explicit Codes with Optimal Redundancy.	AAECC	2007	DBLP DOI BibTeX RDF
12	Grégory Batt, Calin Belta, Ron Weiss	Model Checking Liveness Properties of Genetic Regulatory Networks.	TACAS	2007	DBLP DOI BibTeX RDF
12	Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe	Embedded Gossip: Lightweight Online Measurement for Large-Scale Applications.	ICDCS	2007	DBLP DOI BibTeX RDF
12	Gary William Flake	How I learned to stop worrying and love the imminent internet singularity.	CIKM	2006	DBLP DOI BibTeX RDF	technological singularity, internet, scientific computing
12	Stuart K. Card, Robin R. Murphy, John D. Lee, Judy Olson, William Newman	Real HCI: what it takes to do HCI engineering for disasters, driving, disruption, and distributed work.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	models, HCI, human-computer interaction, systems, engineering, society, solutions
12	Steven Prawer	Quantum mechanical approaches to information processing.	ICS	2006	DBLP DOI BibTeX RDF
12	Alaa Eddien Abdallah, Thomas Fevens, Jaroslav Opatrny	Hybrid Position-Based 3D Routing Algorithms with Partial Flooding.	CCECE	2006	DBLP DOI BibTeX RDF
12	Johnson Kuruvila, Amiya Nayak, Ivan Stojmenovic	Hop count optimal position-based packet routing algorithms for ad hoc wireless networks with a realistic physical Layer.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
12	Philippe Kruchten	Editor's Introduction: Software Design in a Postmodern Era.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	software design
12	Daniel Howard 0001	Techniques for discovering multiple equivalent solutions.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
12	Norihiro Sakamoto, Jun Nakaya	Towards the Construction of the Information Infrastructure for Genome Medicine.	Human.Society@Internet	2005	DBLP DOI BibTeX RDF
12	Michael Frisbie, Douglas Niehaus, Venkita Subramonian, Christopher D. Gill	Group Scheduling in Systems Software.	IPDPS	2004	DBLP DOI BibTeX RDF
12	UmaMaheswari C. Devi, James H. Anderson	Improved Conditions for Bounded Tardiness under EPDF Fair Multiprocessor Scheduling.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Ingemar Dahlstrand	The Early Nordic Software Effort.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Algol 60, Nordic historical efforts, compilers, Software
12	Ivan Stojmenovic, Anand Prakash Ruhil, D. K. Lobiyal 0001	Voronoi diagram and convex hull based geocasting and routing in wireless networks.	ISCC	2003	DBLP DOI BibTeX RDF
12	Edwin D. de Jong, Jordan B. Pollack	Learning the Ideal Evaluation Function.	GECCO	2003	DBLP DOI BibTeX RDF	Complete Evaluation Set, ideal evaluation, underlying objectives, Pareto-hillclimber, over-specialization, Coevolution, Pareto-Coevolution
12	Søren Christensen, Lars Michael Kristensen, Thomas Mailund	A Sweep-Line Method for State Space Exploration.	TACAS	2001	DBLP DOI BibTeX RDF
12	E. J. Lowe	Opening plenary talk: Recent advances in metaphysics.	FOIS	2001	DBLP DOI BibTeX RDF
12	Bart Selman	Satisfiability Testing: Recent Developments and Challenge Problems.	LICS	2000	DBLP DOI BibTeX RDF
12	Stephen C. North	Towards a 3D Visualization Framework for Construction Planning with Procession.	IV	2000	DBLP DOI BibTeX RDF
12	Arturo I. Concepcion, Sunny Lin, Scott J. Simon	Managing the Software Development by Using the Recursive Multi- Threaded (RMT) Tool.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
12	Adam Wojciechowski, Jerzy R. Nawrocki, Karolina Kups, Michal Kosiedowski	TETE: an intelligent knowledge testing engine (poster).	ITiCSE	1998	DBLP DOI BibTeX RDF
12	I. S. W. B. Prasetya	Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.	TPHOLs	1994	DBLP DOI BibTeX RDF
12	Udo Hahn, Manfred Klenner	Tracking the Evolution of Concepts in Dynamic Worlds.	DEXA	1994	DBLP DOI BibTeX RDF
12	Jonathan I. Leivent, Ronald J. Watro	Mathematical Foundations of Time Warp Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrency control, checkpoint, Time Warp, rollback, termination detection
12	Lynette Hirschman	Comparing MUCK-II and MUC-3: assessing the difficulty of different tasks.	MUC	1991	DBLP DOI BibTeX RDF
12	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
12	Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki	Project management expert system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
9	Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers	Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
9	Osman Pala	Assessment of the social progress on European Union by logarithmic decomposition of criteria importance.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
9	Mahita Nagabhiru, Gregory T. Byrd	Achieving Forward Progress Guarantee in Small Hardware Transactions.	IEEE Comput. Archit. Lett.	2024	DBLP DOI BibTeX RDF
9	Umar Ali Bukar, Md Shohel Sayeed, Siti Fatimah Abdul Razak, Sumendra Yogarayan, Oluwatosin Ahmed Amodu, Raja Azlina Raja Mahmood	Text Analysis on Early Reactions to ChatGPT as a Tool for Academic Progress or Exploitation.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
9	Kai-Hsin Tai, Jon-Chao Hong, Kuan-Fong Chen, Chan-Li Lin	Practicing drum on VR to promote rhythm performance: Exploring the learning progress related to incremental belief of rhythm, gameplay anxiety, flow experience, and perceived learning value.	Entertain. Comput.	2024	DBLP DOI BibTeX RDF
9	Giovanni Laneve, Marco Di Fonzo, Valerio Pampanoni, Ramon Bueno Morles	Progress and Limitations in the Satellite-Based Estimate of Burnt Areas.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
9	Qi Zhang 0056, Teng Wang 0001	Deep Learning for Exploring Landslides with Remote Sensing and Geo-Environmental Data: Frameworks, Progress, Challenges, and Opportunities.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
9	Eddie Cheng 0001, Longkun Guo, Yaping Mao, Xiaoyan Zhang 0001	A Commentary on the Progress of Big Data in Combinatorial Optimization.	Parallel Process. Lett.	2024	DBLP DOI BibTeX RDF
9	Yan Pei, Hideyuki Takagi	Research progress survey on interactive evolutionary computation.	J. Ambient Intell. Humaniz. Comput.	2024	DBLP DOI BibTeX RDF
9	Donghyeon Noh, Hojin Yoon, Donghun Lee	A Decade of Progress in Human Motion Recognition: A Comprehensive Survey From 2010 to 2020.	IEEE Access	2024	DBLP DOI BibTeX RDF
9	Weiwei Mao, Teng Pang, Zhirong Guo, Hongbao Bai, Zhixiong Huang, Xiaoyu Jin	Analysis of the Research Progress of Electromagnetic Railgun Based on CiteSpace.	IEEE Access	2024	DBLP DOI BibTeX RDF
9	Qifei Dong, Gang Luo 0001	Progress Estimation for End-to-End Training of Deep Learning Models With Online Data Preprocessing.	IEEE Access	2024	DBLP DOI BibTeX RDF
9	Rajesh Basak, Shamik Sural, Soumya K. Ghosh 0001	Progress Tracking and Responding to Online Public Shaming Events on Twitter.	IEEE Trans. Comput. Soc. Syst.	2024	DBLP DOI BibTeX RDF
9	Takashi Miyamura, Akira Misawa	Recent Progress in Optical Network Design and Control towards Human-Centered Smart Society.	IEICE Trans. Commun.	2024	DBLP DOI BibTeX RDF
9	Chengxi Zhang, Jin Wu 0002, Chong Li	Recent Progress in Robot Control Systems: Theory and Applications.	Symmetry	2024	DBLP DOI BibTeX RDF
9	Boris Latosh	FeynGrav and Recent Progress in Computational Perturbative Quantum Gravity.	Symmetry	2024	DBLP DOI BibTeX RDF
9	Arash Khalatbarisoltani, Haitao Zhou, Xiaolin Tang, Mohsen Kandidayeni, Loïc Boulon, Xiaosong Hu	Energy Management Strategies for Fuel Cell Vehicles: A Comprehensive Review of the Latest Progress in Modeling, Strategies, and Future Prospects.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
9	Wenyuan Ma, Hui Wu, Yiran Chen 0021, Hongxia Xu, Junjie Jiang, Bang Du, Mingyu Wan, Xiaolu Ma, Xiaoyu Chen, Lili Lin, Xinhui Su, Xuanwen Bao, Yifei Shen, Nong Xu, Jian Ruan, Haiping Jiang, Yongfeng Ding	New techniques to identify the tissue of origin for cancer of unknown primary in the era of precision medicine: progress and challenges.	Briefings Bioinform.	2024	DBLP DOI BibTeX RDF
9	Yiqian Shan, Yuan Liang, Chenyang Li, Weifeng Sun, Zhongyuan Fang	Review of recent progress on solid-state millimeter-wave and terahertz signal sources.	Int. J. Circuit Theory Appl.	2024	DBLP DOI BibTeX RDF
9	Katrin Rajamäe-Soosaar, Anastasija Nikiforova	Exploring Estonia's Open Government Data Development as a Journey towards Excellence: Unveiling the Progress of Local Governments in Open Data Provision.	CoRR	2024	DBLP DOI BibTeX RDF
9	Moritz Möller, Gargi Nirmal, Dario Fabietti, Quintus Stierstorfer, Mark Zakhvatkin, Holger Sommerfeld, Sven Schütt	Revolutionising Distance Learning: A Comparative Study of Learning Progress with AI-Driven Tutoring.	CoRR	2024	DBLP DOI BibTeX RDF
9	Qing Li, Zhihang Hu, Yixuan Wang, Lei Li, Yimin Fan, Irwin King, Le Song, Yu Li 0006	Progress and Opportunities of Foundation Models in Bioinformatics.	CoRR	2024	DBLP DOI BibTeX RDF
9	Alicia Ouskine, Adrian D. C. Chan, Fateme Rajabiyazdi	Designing interactive data visualizations representing recovery progress for patients after stroke.	CoRR	2024	DBLP DOI BibTeX RDF
9	Song Bai, Jie Li	Progress and Prospects in 3D Generative AI: A Technical Overview including 3D human.	CoRR	2024	DBLP DOI BibTeX RDF
9	Boshen Shi, Yongqing Wang, Fangda Guo, Bingbing Xu, Huawei Shen, Xueqi Cheng	Graph Domain Adaptation: Challenges, Progress and Prospects.	CoRR	2024	DBLP DOI BibTeX RDF